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 | |
namespace | Test |
General test support. | |
namespace | Test::Int |
Testing finite domain integers. | |
namespace | 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) | |
Gecode::SetExpr | Test::Int::MiniModelSet::eval (const SetInstr *pc, Gecode::SetExpr reg[]) |
Executes set instruction for constructing set expressions. | |
bool | Test::Int::MiniModelSet::simpleReifiedSemantics (const SetInstr *pc) |