Property | Type | Description | |
---|---|---|---|
And | Expr | ||
BuildExpr | Expr | ||
Method | void | ||
NewVar | Expr | ||
Not | Expr | ||
Or | Expr | ||
QM | Expr | ||
TestAandAB | void | ||
TestAnd2 | void | ||
TestOr2 | void | ||
TestRandomLots | void | ||
Verify | void |
Method | Description | |
---|---|---|
And ( ) : Expr | ||
BuildExpr ( Expr vars, bool truthTable ) : Expr | ||
Method ( ) : void | ||
NewVar ( string name = null ) : Expr | ||
Not ( Expr a ) : Expr | ||
Or ( ) : Expr | ||
QM ( Expr e ) : Expr | ||
TestAandAB ( ) : void | ||
TestAnd2 ( ) : void | ||
TestOr2 ( ) : void | ||
TestRandomLots ( ) : void | ||
Verify ( Expr e, Expr vars, bool truthTable ) : void |