Changes between Version 9 and Version 10 of 2011CaoTme7


Ignore:
Timestamp:
Nov 20, 2012, 4:39:47 PM (12 years ago)
Author:
jpc
Comment:

--

Legend:

Unmodified
Added
Removed
Modified

  • 2011CaoTme7

    v9 v10  
    2626* [attachment:EbmVar.h EbmVar.h]
    2727* [attachment:EbmExpr.h EbmExpr.h]
    28 * [attachment:BoolValue.h BoolValue.h]
     28* [attachment:LogicValue.h LogicValue.h]
    2929* [attachment:libebm.a libebm.a]
    3030* [attachment:Bdd.h Bdd.h]
    … …  
    9292           Bdd*               satisfy      ();
    9393           void               display      ( std::ostream& );
    94            ValueType          eval         ();
     94           LogicValue         eval         ();
    9595           Ebm*               toEbm        ();
    9696    static Bdd*               fromEbm      ( Ebm* );