Tests for minimal modelling constraints (Boolean) More...
Tests for minimal modelling constraints (Boolean)
Boolean opcode.
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.