Testing finite domain integers. More...

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.

Enumeration Type Documentation

Level of consistency to test for.

Enumerator
CTL_NONE	No consistency-test.
CTL_DOMAIN	Test for domain-consistency.
CTL_BOUNDS_D	Test for bounds(d)-consistency.
CTL_BOUNDS_Z	Test for bounds(z)-consistency.

Definition at line 139 of file int.hh.