Go to the source code of this file.
Classes | |
class | Test::Int::MiniModelBoolean::BoolInstr |
Type for representing a Boolean instruction. More... | |
class | Test::Int::MiniModelBoolean::BoolExprInt |
Test Boolean expressions with integer result More... | |
class | Test::Int::MiniModelBoolean::BoolExprVar |
Test posting Boolean expressions More... | |
class | Test::Int::MiniModelBoolean::Create |
Help class to create and register tests. More... | |
Namespaces | |
Test | |
General test support. | |
Test::Int | |
Testing finite domain integers. | |
Test::Int::MiniModelBoolean | |
Tests for minimal modelling constraints (Boolean) | |
Functions | |
int | Test::Int::MiniModelBoolean::eval (const BoolInstr *pc, int reg[]) |
Executes Boolean instruction for evaluation (checking) More... | |
Gecode::BoolExpr | Test::Int::MiniModelBoolean::eval (const BoolInstr *pc, Gecode::BoolExpr reg[]) |
Executes Boolean instruction for constructing Boolean expressions. More... | |