Go to the source code of this file.
Classes | |
class | Test::Int::MiniModelSet::SetInstr |
Type for representing a set instruction. More... | |
class | Test::Int::MiniModelSet::SetExprConst |
Test set expressions with constant result More... | |
class | Test::Int::MiniModelSet::SetExprExpr |
Test set expressions with expression result More... | |
class | Test::Int::MiniModelSet::Create |
Help class to create and register tests. More... | |
Namespaces | |
Test | |
General test support. | |
Test::Int | |
Testing finite domain integers. | |
Test::Int::MiniModelSet | |
Tests for minimal modelling constraints (Set) | |
Functions | |
int | Test::Int::MiniModelSet::eval (const SetInstr *pc, int reg[], bool &failed) |
Executes set instruction for evaluation (checking) More... | |
Gecode::SetExpr | Test::Int::MiniModelSet::eval (const SetInstr *pc, Gecode::SetExpr reg[]) |
Executes set instruction for constructing set expressions. More... | |
bool | Test::Int::MiniModelSet::simpleReifiedSemantics (const SetInstr *pc) |