Test::Branch Namespace Reference

Tests for branchings. More...

Classes
class	Bool
	Test branching with distinct propagator. 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	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 295 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)