Test::Assign Namespace Reference

Tests for assignments. More...

Classes
class	Bool
	Test branching with distinct propagator More...
class	Float
	Test assignment with distinct propagator More...
class	Int
	Test assignment with distinct propagator More...
class	Set
	Test assignment with disjoint union propagator 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	FloatTestSpace
	Space for executing Boolean tests. More...
class	IntTest
	Base class for tests for assigning 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...
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 assignments.

---

Variable Documentation

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

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

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

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

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

Definition at line 51 of file int.cpp.

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

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

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

Int Test::Assign::d_5("Dense::5", d_dense, 5)

Int Test::Assign::s_3("Sparse::3", d_sparse, 3)

Int Test::Assign::s_5("Sparse::5", d_sparse, 5)

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

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