Tests for minimal modelling constraints (Set) More...
Tests for minimal modelling constraints (Set)
Set opcode.
SO_CMPL |
Complement. |
SO_UNION |
Union. |
SO_DUNION |
Disjoint union. |
SO_INTER |
Intersection. |
SO_MINUS |
Difference. |
SO_HLT |
Stop execution. |
Definition at line 48 of file mm-set.cpp.
int Test::Int::MiniModelSet::eval | ( | const SetInstr * | pc, |
int | reg[], | ||
bool & | failed | ||
) |
Executes set instruction for evaluation (checking)
Definition at line 66 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 88 of file mm-set.cpp.
bool Test::Int::MiniModelSet::simpleReifiedSemantics | ( | const SetInstr * | pc | ) |
Definition at line 106 of file mm-set.cpp.