Test::Int::MiniModelBoolean Namespace Reference
Detailed Description
Tests for minimal modelling constraints (Boolean).
Enumeration Type Documentation
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.cc.
Function Documentation
int Test::Int::MiniModelBoolean::eval | ( | const BoolInstr * | pc, | |
int | reg[] | |||
) |
Gecode::MiniModel::BoolExpr Test::Int::MiniModelBoolean::eval | ( | const BoolInstr * | pc, | |
Gecode::MiniModel::BoolExpr | reg[] | |||
) |
Executes Boolean instruction for constructing Boolean expressions.
Definition at line 86 of file mm-bool.cc.