Test::Int::MiniModelSet Namespace Reference
Tests for minimal modelling constraints (Set) More...
Detailed Description
Tests for minimal modelling constraints (Set)
Enumeration Type Documentation
Set opcode.
- Enumerator:
SO_CMPL Complement.
SO_UNION Union.
SO_DUNION Disjoint union.
SO_INTER Intersection.
SO_MINUS Difference.
SO_HLT Stop execution.
Definition at line 44 of file mm-set.cpp.
Function Documentation
int Test::Int::MiniModelSet::eval | ( | const SetInstr * | pc, | |
int | reg[], | |||
bool & | failed | |||
) |
Executes set instruction for evaluation (checking).
Definition at line 62 of file mm-set.cpp.
Gecode::SetExpr Test::Int::MiniModelSet::eval | ( | const SetInstr * | pc, | |
Gecode::SetExpr | reg[] | |||
) |
Executes set instruction for constructing set expressions.
Definition at line 84 of file mm-set.cpp.
bool Test::Int::MiniModelSet::simpleReifiedSemantics | ( | const SetInstr * | pc | ) |
Definition at line 102 of file mm-set.cpp.