Generated on Sun Aug 26 2012 08:43:43 for Gecode by doxygen 1.8.1.1
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

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...

Detailed Description


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