Test::Int Namespace Reference

Testing finite domain integers. More...

Namespaces
namespace	Arithmetic
	Tests for arithmetic constraints
namespace	Basic
	Tests for basic setup
namespace	BinPacking
	Tests for bin-packing constraint
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	Cumulative
	Tests for cumulative scheduling constraints.
namespace	Cumulatives
	Tests for scheduling 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	Member
	Tests for membership 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	NoOverlap
	Tests for no-overlap constraint
namespace	NValues
	Tests for number of values constraints
namespace	Order
	Tests for order constraint
namespace	Precede
	Tests for value precedence constraints
namespace	Rel
	Tests for relation constraints
namespace	Sequence
	Tests for sequence constraints
namespace	Sorted
	Tests for sorted constraints
namespace	Unary
	Tests for unary scheduling constraints
namespace	Unshare
	Tests for unsharing variables in arrays
namespace	MiniModelSet
	Tests for minimal modelling constraints (Set)
Classes
class	Assignment
	Base class for assignments More...
class	CpltAssignment
	Generate all assignments. More...
class	RandomAssignment
	Generate random selection of assignments. More...
class	RandomMixAssignment
	Generate random selection of assignments. More...
class	TestSpace
	Space for executing tests. More...
class	Test
	Base class for tests with integer constraints More...
class	IntPropLevels
	Iterator for simple integer propagation levels. More...
class	IntPropBasicAdvanced
	Iterator for basic and advanced integer propagation 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.