Generated on Thu Mar 22 10:40:00 2012 for Gecode by doxygen 1.6.3

Test::Branch Namespace Reference

Tests for branchings. More...

Classes

class  Bool
 Test brancher with distinct propagator More...
class  Int
 Test brancher with distinct propagator More...
class  Set
 Test brancher 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  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...

Functions

template<class TestSpace >
int solutions (TestSpace *c, Gecode::Search::Options &o)
 Find number of solutions.

Variables

Bool b_3 ("3", 3)
Bool b_5 ("5", 5)
Bool b_7 ("7", 7)
Gecode::IntSet d_dense (-2, 2)
const int v_sparse [5] = {-100,-10,0,10,100}
Gecode::IntSet d_sparse (v_sparse, 5)
Gecode::IntSet d_large (-2, 10)
Int d_3 ("Dense::3", d_dense, 3)
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)

Detailed Description

Tests for branchings.


Function Documentation

template<class TestSpace >
int Test::Branch::solutions ( TestSpace *  c,
Gecode::Search::Options o 
) [inline]

Find number of solutions.

Definition at line 311 of file branch.cpp.


Variable Documentation

const int Test::Branch::v_sparse[5] = {-100,-10,0,10,100}

Definition at line 55 of file int.cpp.

Int Test::Branch::d_3("Dense::3", d_dense, 3)
Int Test::Branch::d_5("Dense::5", d_dense, 5)
Int Test::Branch::s_3("Sparse::3", d_sparse, 3)
Int Test::Branch::s_5("Sparse::5", d_sparse, 5)
Int Test::Branch::l_2("Large::2", d_large, 2)
Int Test::Branch::l_3("Large::3", d_large, 3)