Test::Assign Namespace Reference

---

Detailed Description

Tests for assignments.

Classes
class	Bool
	Test branching with distinct propagator. More...
class	Int
	Test assignment with distinct propagator. More...
class	IntTestSpace
	Space for executing integer tests. More...
class	BoolTestSpace
	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...
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)

---

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 55 of file int.cc.

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)