Tests for branchings.
|
Classes |
| class | Bool |
| | Test branching with distinct propagator. More...
|
| class | CpltSet |
| | Test branching. 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 | CpltSetTestSpace |
| | 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...
|
| class | CpltSetTest |
| | Base class for tests for branching on CpltSet variables. More...
|
Functions |
| Gecode::IntSet | d_dense (-2, 2) |
| Gecode::IntSet | d_sparse (v_sparse, 5) |
| Int | d_3 ("Dense::3", d_dense, 3) |
Variables |
| Bool | b_3 ("3", 3) |
| Bool | b_5 ("5", 5) |
| Bool | b_7 ("7", 7) |
| Gecode::IntSet | d_large (-2, 10) |
| 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) |