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.