Generated on Thu Mar 22 10:39:50 2012 for Gecode by doxygen 1.6.3

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

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.