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

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 55 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)