Test::Int Namespace Reference
Testing finite domain integers. More...
Namespaces | |
| namespace | Arithmetic |
| Tests for arithmetic constraints. | |
| namespace | Basic |
| Tests for basic setup. | |
| namespace | Bool |
| Tests for Boolean constraints. | |
| namespace | Channel |
| Tests for channel constraints. | |
| namespace | Circuit |
| Tests for circuit constraints. | |
| namespace | Count |
| Tests for count constraints. | |
| namespace | Distinct |
| Tests for distinct constraints. | |
| namespace | Dom |
| Tests for domain constraints. | |
| namespace | Element |
| Tests for element constraints. | |
| namespace | Exec |
| Tests for synchronized execution. | |
| namespace | Extensional |
| Tests for extensional (relation) constraints. | |
| namespace | GCC |
| Tests for counting constraints (global cardinality). | |
| namespace | Linear |
| Tests for linear constraints. | |
| namespace | MiniModelArithmetic |
| Tests for minimal modelling constraints (arithmetic). | |
| namespace | MiniModelBoolean |
| Tests for minimal modelling constraints (Boolean). | |
| namespace | MiniModelCount |
| Tests for minimal modelling constraints (counting). | |
| namespace | MiniModelLin |
| Tests for minimal modelling constraints (linear). | |
| namespace | MiniModel |
| Tests for minimal modelling constraints (simple relations). | |
| namespace | Rel |
| Tests for relation constraints. | |
| namespace | Scheduling |
| Tests for scheduling constraints. | |
| namespace | Sorted |
| Tests for sorted constraints. | |
| namespace | Unshare |
| Tests for unsharing variables in arrays. | |
Classes | |
| class | Assignment |
| Base class for assignments. More... | |
| class | CpltAssignment |
| Generate all assignments. More... | |
| class | RandomAssignment |
| Generate random selection of assignments. More... | |
| class | TestSpace |
| Space for executing tests. More... | |
| class | Test |
| Base class for tests with integer constraints. More... | |
| class | IntConLevels |
| Iterator for integer consistency levels. More... | |
| class | IntRelTypes |
| Iterator for integer relation types. More... | |
| class | BoolOpTypes |
| Iterator for Boolean operation types. More... | |
Enumerations | |
| enum | ConTestLevel { CTL_NONE, CTL_DOMAIN, CTL_BOUNDS_D, CTL_BOUNDS_Z } |
| Level of consistency to test for. More... | |
Detailed Description
Testing finite domain integers.