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.