Changes between Version 5 and Version 6 of 2011CaoTme6

Timestamp:

Nov 13, 2012, 12:31:13 PM (13 years ago)

Author:

jpc

Comment:

--

2011CaoTme6

@@ +1 @@
+{{{
+#!comment
+  -*- coding: utf-8 -*-
+}}}
+
+
 [[PageOutline]]
 
@@ -17 +23 @@
 {{{EbmExpr.h}}} et {{{EbmVar.h}}}. Il vous est demandé de les compléter.
 
-Une implantation de la classe {{{BoolValue}}} vous est fournie:
-
-* [attachment:BoolValue.h   BoolValue.h]
-* [attachment:BoolValue.cpp BoolValue.cpp]
+Une implantation de la classe {{{LogicValue}}} vous est fournie:
+
+* [attachment:LogicValue.h   LogicValue.h]
+* [attachment:LogicValue.cpp LogicValue.cpp]
 
 
@@ -35 +41 @@
             unsigned int       litterals ();
             std::set<EbmVar*>  support   ();
-            BoolValue          eval      ();
+            LogicValue         eval      ();
             void               support   ( std::ostream& );
             void               display   ( std::ostream& );
@@ -52 +58 @@
    notation ''préfixée''.
  * {{{eval()}}} : Calcule la valeur de l'expression booléenne. Le type de retour est un
-   {{{BoolValue}}}, c'est à dire une variable pouvant prendre trois valeurs:
+   {{{LogicValue}}}, 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
@@ -68 +74 @@
   public:
     inline   std::string   getName  ();
-    inline   BoolValue     getValue ();
+    inline   LogicValue    getValue ();
     inline   unsigned int  getIndex ();
-    inline   void          setValue ( BoolValue value );
+    inline   void          setValue ( LogicValue value );
   private:
-                           EbmVar   ( std::string name, BoolValue value=Low );
+                           EbmVar   ( std::string name, LogicValue value=Low );
     virtual               ~EbmVar   ();
   private:
@@ -78 +84 @@
     static std::map<unsigned int,EbmVar*>  _byIndex;
   public:
-    static   EbmVar*       create   ( std::string name, BoolValue value = BoolValue::Zero );
+    static   EbmVar*       create   ( std::string name, LogicValue value=LogicValue::Zero );
   // Completer ici...
   private:    
            std::string                     _name;     // Variable name.
-           BoolValue                       _value;    // Logical value.
+           LogicValue                      _value;    // Logical value.
            unsigned int                    _index;    // Unique index (for ROBDD)
 };