
Tests for minimal modelling constraints (Boolean) More...
Classes | |
| class | BoolExprInt |
| Test Boolean expressions with integer result More... | |
| class | BoolExprVar |
| Test posting Boolean expressions More... | |
| class | BoolInstr |
| Type for representing a Boolean instruction. More... | |
| class | Create |
| Help class to create and register tests. More... | |
Enumerations | |
| enum | BoolOpcode { BO_NOT, BO_AND, BO_OR, BO_IMP, BO_XOR, BO_EQV, BO_HLT } |
| Boolean opcode. More... | |
Functions | |
| int | eval (const BoolInstr *pc, int reg[]) |
| Executes Boolean instruction for evaluation (checking) More... | |
| Gecode::BoolExpr | eval (const BoolInstr *pc, Gecode::BoolExpr reg[]) |
| Executes Boolean instruction for constructing Boolean expressions. More... | |
Tests for minimal modelling constraints (Boolean)
Boolean opcode.
| Enumerator | |
|---|---|
| BO_NOT |
Negation. |
| BO_AND |
Conjunction. |
| BO_OR |
Disjunction. |
| BO_IMP |
Implication. |
| BO_XOR |
Exclusive or. |
| BO_EQV |
Equivalence. |
| BO_HLT |
Stop execution. |
Definition at line 48 of file mm-bool.cpp.
| int Test::Int::MiniModelBoolean::eval | ( | const BoolInstr * | pc, |
| int | reg[] | ||
| ) |
Executes Boolean instruction for evaluation (checking)
Definition at line 67 of file mm-bool.cpp.
| Gecode::BoolExpr Test::Int::MiniModelBoolean::eval | ( | const BoolInstr * | pc, |
| Gecode::BoolExpr | reg[] | ||
| ) |
Executes Boolean instruction for constructing Boolean expressions.
Definition at line 86 of file mm-bool.cpp.