Test::Branch Namespace Reference

Tests for branchings. More...

Classes
class	Bool
	Test brancher with distinct propagator More...
class	Float
	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 Set tests. More...
class	FloatTestSpace
	Space for executing Float 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	FloatTest
	Base class for tests for branching on float variables More...
Functions
double	tbl (const Gecode::Space &, double w, double b)
	Test function for tie-break limit function.
template<class TestSpace >
int	solutions (TestSpace *c, Gecode::Search::Options &o, int maxNbSol=-1)
	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

double Test::Branch::tbl	(	const Gecode::Space &	,
		double	w,
		double	b
	)

Test function for tie-break limit function.

Definition at line 61 of file branch.cpp.

template<class TestSpace >

int Test::Branch::solutions	(	TestSpace *	c,
		Gecode::Search::Options &	o,
		int	maxNbSol = -1
	)			[inline]

Find number of solutions.

Definition at line 412 of file branch.cpp.

---

Variable Documentation

Bool Test::Branch::b_3("3", 3)

Bool Test::Branch::b_5("5", 5)

Bool Test::Branch::b_7("7", 7)

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

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

Definition at line 51 of file int.cpp.

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

Gecode::IntSet Test::Branch::d_large(-2, 10)

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)