
Tests for minimal modelling constraints (Set) More...
Classes | |
| class | Create |
| Help class to create and register tests. More... | |
| class | SetExprConst |
| Test set expressions with constant result More... | |
| class | SetExprExpr |
| Test set expressions with expression result More... | |
| class | SetInstr |
| Type for representing a set instruction. More... | |
Enumerations | |
| enum | SetOpcode { SO_CMPL, SO_UNION, SO_DUNION, SO_INTER, SO_MINUS, SO_HLT } |
| Set opcode. More... | |
Functions | |
| int | eval (const SetInstr *pc, int reg[], bool &failed) |
| Executes set instruction for evaluation (checking) More... | |
| Gecode::SetExpr | eval (const SetInstr *pc, Gecode::SetExpr reg[]) |
| Executes set instruction for constructing set expressions. More... | |
| bool | simpleReifiedSemantics (const SetInstr *pc) |
Tests for minimal modelling constraints (Set)
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 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.