General test support
[Testing finite domain integers]

Classes
class	Test::Int::Assignment
	Base class for assignments More...
class	Test::Int::CpltAssignment
	Generate all assignments. More...
class	Test::Int::RandomAssignment
	Generate random selection of assignments. More...
class	Test::Int::RandomMixAssignment
	Generate random selection of assignments. More...
class	Test::Int::TestSpace
	Space for executing tests. More...
class	Test::Int::Test
	Base class for tests with integer constraints More...
Enumerations
enum	Test::Int::ConTestLevel { Test::Int::CTL_NONE, Test::Int::CTL_DOMAIN, Test::Int::CTL_BOUNDS_D, Test::Int::CTL_BOUNDS_Z }
	Level of consistency to test for. More...

---

Enumeration Type Documentation

enum Test::Int::ConTestLevel

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.