Test::Int::MiniModelCount Namespace Reference
Detailed Description
Tests for minimal modelling constraints (counting).
Classes | |
| class | IntInt |
| Test number of equal integers equal to integer. More... | |
| class | IntVar |
| Test number of equal integers equal to integer variable. More... | |
| class | VarVar |
| Test number of equal variables equal to integer variable. More... | |
| class | VarInt |
| Test number of equal variables equal to integer. More... | |
| class | IntArrayInt |
| Test number of several equal integers equal to integer. More... | |
| class | IntArrayVar |
| Test number of several equal integers equal to integer variable. More... | |
| class | Create |
| Help class to create and register tests. More... | |
Functions | |
| std::string | expand (Gecode::IntRelType irt) |
| Expand relation to abbreviation. | |
Variables | |
| Gecode::IntArgs | ints (4, 1, 0, 3, 2) |
| Create | c |
Function Documentation
| std::string Test::Int::MiniModelCount::expand | ( | Gecode::IntRelType | irt | ) |