Generated on Sat Feb 7 2015 02:01:37 for Gecode by doxygen 1.8.9.1

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.