Tests for minimal modelling constraints (Boolean) More...
Classes | |
class | BoolElement |
Test for Boolean element (regression) More... | |
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 52 of file mm-bool.cpp.
int Test::Int::MiniModelBoolean::eval | ( | const BoolInstr * | pc, |
int | reg[] | ||
) |
Executes Boolean instruction for evaluation (checking)
Definition at line 71 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 90 of file mm-bool.cpp.