Test::Int Namespace Reference

Testing finite domain integers. More...

Namespaces
namespace	Circuit
	Tests for circuit constraints.
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	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	Sorted
	Tests for sorted constraints.
namespace	Unshare
	Tests for unsharing variables in arrays.
namespace	Cumulatives
	Tests for scheduling constraints.
namespace	Unary
	Tests for unary scheduling constraints.
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.