
Tests for assignments. More...
Classes | |
| class | Bool |
| Test branching with distinct propagator More... | |
| class | BoolTest |
| Base class for tests for branching on Boolean variables More... | |
| class | BoolTestSpace |
| Space for executing Boolean tests. More... | |
| class | Float |
| Test assignment with distinct propagator More... | |
| class | FloatTest |
| Base class for tests for branching on float variables More... | |
| class | FloatTestSpace |
| Space for executing Boolean tests. More... | |
| class | Int |
| Test assignment with distinct propagator More... | |
| class | IntTest |
| Base class for tests for assigning integer variables More... | |
| class | IntTestSpace |
| Space for executing integer tests. More... | |
| class | Set |
| Test assignment with disjoint union propagator More... | |
| class | SetTest |
| Base class for tests for branching on set variables More... | |
| class | SetTestSpace |
| Space for executing Boolean tests. 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) |
Tests for assignments.
| 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) |
| 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) |