Test::Int Namespace Reference
Detailed Description
Testing finite domain integers.
Classes | |
class | TestSpace |
Space for executing tests. More... | |
class | Assignment |
Base class for assignments. More... | |
class | CpltAssignment |
Generate all assignments. More... | |
class | RandomAssignment |
Generate random selection of assignments. 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... | |
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 | 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. |