Generated on Mon Aug 25 11:35:54 2008 for Gecode by doxygen 1.5.6

Test::Branch Namespace Reference


Detailed Description

Tests for branchings.


Classes

class  Bool
 Test branching with distinct propagator. More...
class  CpltSet
 Test branching. More...
class  Int
 Test branching with distinct propagator. More...
class  Set
 Test branching. More...
class  IntTestSpace
 Space for executing integer tests. More...
class  BoolTestSpace
 Space for executing Boolean tests. More...
class  SetTestSpace
 Space for executing Boolean tests. More...
class  CpltSetTestSpace
 Space for executing Boolean tests. More...
class  RunInfo
 Information about one test-run. More...
class  IntTest
 Base class for tests for branching on integer variables. More...
class  BoolTest
 Base class for tests for branching on Boolean variables. More...
class  SetTest
 Base class for tests for branching on set variables. More...
class  CpltSetTest
 Base class for tests for branching on CpltSet variables. More...

Functions

Gecode::IntSet d_dense (-2, 2)
Gecode::IntSet d_sparse (v_sparse, 5)
Int d_3 ("Dense::3", d_dense, 3)

Variables

Bool b_3 ("3", 3)
Bool b_5 ("5", 5)
Bool b_7 ("7", 7)
Gecode::IntSet d_large (-2, 10)
Int d_5 ("Dense::5", d_dense, 5)
Int s_3 ("Sparse::3", d_sparse, 3)
Int s_5 ("Sparse::5", d_sparse, 5)
Int l_2 ("Large::2", d_large, 2)
Int l_3 ("Large::3", d_large, 3)


Function Documentation

Gecode::IntSet Test::Branch::d_dense ( 2,
 
)

Gecode::IntSet Test::Branch::d_sparse ( v_sparse  ,
 
)

Int Test::Branch::d_3 ( "Dense::3"  ,
d_dense  ,
 
)


Variable Documentation

Set Test::Branch::d_5("Dense::5", d_dense, 5) ( "Dense::5"  ,
d_dense  ,
 
)

Set Test::Branch::s_3("Sparse::3", d_sparse, 3) ( "Sparse::3"  ,
d_sparse  ,
 
)

Set Test::Branch::s_5("Sparse::5", d_sparse, 5) ( "Sparse::5"  ,
d_sparse  ,
 
)

Int Test::Branch::l_2("Large::2", d_large, 2)

Int Test::Branch::l_3("Large::3", d_large, 3)