General test support

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

Detailed Description

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 143 of file int.hh.