
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... | |