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::BoolElement |
Test for Boolean element (regression) More... | |
class | Test::Int::MiniModelBoolean::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::MiniModelBoolean |
Tests for minimal modelling constraints (Boolean) |
Functions | |
int | Test::Int::MiniModelBoolean::eval (const BoolInstr *pc, int reg[]) |
Executes Boolean instruction for evaluation (checking) | |
Gecode::BoolExpr | Test::Int::MiniModelBoolean::eval (const BoolInstr *pc, Gecode::BoolExpr reg[]) |
Executes Boolean instruction for constructing Boolean expressions. |