Changes between Version 1 and Version 2 of 2011CaoTme6

Timestamp:

Mar 18, 2012, 4:49:10 PM (13 years ago)

Author:

jpc

Comment:

--

2011CaoTme6

@@ -3 +3 @@
 
 = Représentation d'une Structure Booléenne Multi-niveaux (EBM) =
-
-Les fichiers nécessaires à la réalisation de ce TME sont disponibles
-directement sur le réseau enseignement, dans le répertoire:
-{{{~jpc/M1-CAO/TME/3.public}}}
 
 
@@ -27 +23 @@
 class Ebm {
   public:
+    enum Type         { Variable=1, Expression=2 };
+    enum OperatorType { Not=1, And, Or, Xor, UndefinedOperator };
+  public:
+    static  Ebm*               parse     ( std::string );
+  public:
             unsigned int       litterals ();
             std::set<EbmVar*>  support   ();
+            BoolValue          eval      ();
             void               support   ( std::ostream& );
             void               display   ( std::ostream& );
-            ValueType          eval      ();
-    static  Ebm*               parse     ( std::string expression );
 };
 }}}
@@ -47 +47 @@
    notation ''préfixée''.
  * {{{eval()}}} : Calcule la valeur de l'expression booléenne. Le type de retour est un
-   {{{ValueType}}}, c'est à dire une variable pouvant prendre trois valeurs:
-   {{{Low}}}, {{{High}}} et {{{Unknown}}} (cf. {{{CaoTypes.h}}}).
+   {{{BoolValue}}}, c'est à dire une variable pouvant prendre trois valeurs:
+   {{{Zero}}}, {{{One}}} et {{{Undefined}}} (cf. {{{TME 2}}}).
  * {{{parse()}}} : Une fonction statique transformant une chaîne de caractères en une
    {{{EBM}}}.
@@ -57 +57 @@
 {{{
 class EbmVar: public Ebm {
+  public:
+  // Operations sur les dictionnaires.
+    static   EbmVar*       get      ( unsigned int index );
+    static   EbmVar*       get      ( std::string name );
+  public:
+    inline   std::string   getName  ();
+    inline   BoolValue     getValue ();
+    inline   unsigned int  getIndex ();
+    inline   void          setValue ( BoolValue value );
+  private:
+                           EbmVar   ( std::string name, BoolValue value=Low );
+    virtual               ~EbmVar   ();
   private:
     static unsigned int                    _maxIndex;
-    static std::map<std::string ,EbmVar*>  _byName;   // All variables storage.
     static std::map<unsigned int,EbmVar*>  _byIndex;
-  private :    
-             std::string   _name;       // Variable name.
-             ValueType     _value;      // Logical value.
-             unsigned int  _index;      // Unique index (for ROBDD)
-  public:
-                           EbmVar   ( std::string name, ValueType value=Low );
-    virtual               ~EbmVar   ();
-  public:
-    inline   std::string   getName  ();
-    inline   ValueType     getValue ();
-    inline   unsigned int  getIndex ();
-    inline   void          setValue ( ValueType value );
-  // Operations sur le dictionnaire
-    static   EbmVar*       get      ( unsigned int index );
-    static   EbmVar*       get      ( std::string name );
+  // Completer ici...
+  private:    
+           std::string                     _name;     // Variable name.
+           BoolValue                       _value;    // Logical value.
+           unsigned int                    _index;    // Unique index (for ROBDD)
 };
 }}}
-
 
 __Attributs de la classe {{{EbmVar}}}:__
  * {{{_name}}}  : Le nom de la variable (par ex. {{{"a"}}})
  * {{{_value}}} : La valeur actuellement affectée à la variable
-   ({{{Low}}}, {{{High}}} ou {{{Unknown}}}).
+   ({{{Zero}}}, {{{One}}} ou {{{Undefined}}}).
  * {{{_index}}} : Un index permettant d'identifier de façon unique la
-   variable. Cet index trouvera sont utilité dans le TME suivant, présentant les {{{ROBDD}}}.
-
+   variable. Cet index trouvera son utilité dans le TME suivant, présentant les {{{ROBDD}}}.
 
 __Attributs ''statiques'' de la classe {{{EbmVar}}}:__
@@ -131 +130 @@
 }}}
 
-
 __Attributs de la classe {{{EbmExpr}}}:__
  * {{{_operator}}} : le type de l'opérateur (dans {{{CaoTypes.h}}}, parmis
    {{{Not}}}, {{{And}}}, {{{Or}}} ou {{{Xor}}}).
  * {{{_operands}}} : une liste de pointeurs vers les opérandes.
-
 
 __Principales méthodes de la classe {{{EbmVar}}}:__
@@ -152 +149 @@
 == Présentation des méthodes récursives ==
 
-
 Les méthodes {{{litterals()}}}, {{{support()}}}, {{{display()}}} et {{{parse()}}} de la
 classe {{{Ebm}}} sont récursives. On définit le niveau de profondeur de l'arbre d'une
@@ -212 +208 @@
 == Fonctionnement de la fonction {{{getType()}}} ==
 
-
 Dans la présentation de la récursion, nous avons vu qu'il était nécessaire,
 pour choisir entre la récursion et l'arrêt, de savoir distinguer une variable
@@ -231 +226 @@
 
 [[Image(Ebm-5.png,align=center)]]
+
+
+== Travail a Effectuer ==
+
+=== Question 1 ===
+
+Implanter {{{EbmVar}}}:
+* Ajouter le dictionnaire manquant.
+* Ajouter la fonction de création statique.
+* Implanter les méthodes ''ordinaires''.
+* Les constructeurs & destructeurs ne sont pas vides: que doivent-il
+  contenir?
+
+
+=== Question 2 ===
+
+Implanter {{{EbmExpr}}}:
+* Penser à une façon simple pour les opérateurs logiques d'appeler le
+  constructeur générique.
+
+
+=== Question 3 ===
+
+Implanter {{{Ebm}}:
+* Le squelette du fichier vous est fourni: [attachment:Ebm.cpp Ebm.cpp].
+  Il contient le code de la fonction {{{Ebm::parse()}}}
+* Implanter la déclaration (dans {{{Ebm}}}) et les deux sur-définitions
+  de la fonction {{{getType()}}} (dans {{{EbmVar}}} & {{{EbmExpr}}}).
+* Implanter les fonctions {{{Ebm::litterals()}}}, {{{Ebm::support()}}},
+  {{{Ebm::eval()}}} et {{{Ebm::display()}}}.
+  
+
+=== Question 4  ===
+
+Tester l'ensemble avec le programme suivant: [attachement:Main.cpp Main.cpp].
+
+
+=== Question 5 (facultative) ===
+
+Il existe une autre façon d'implanter le mécanisme de récursivité
+ne nécessitant pas de fonction {{{getType()}}}, suggérez une approche
+alternative (utilisant plus intensivement l'héritage).