Classes |
class | Bool |
| Test brancher with distinct propagator More...
|
class | Int |
| Test brancher with distinct propagator More...
|
class | Set |
| Test brancher 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) |
Tests for branchings.