
Tests for branchings. More...
Classes | |
| class | Bool |
| Test brancher 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 brancher with distinct propagator More... | |
| class | FloatTest |
| Base class for tests for branching on float variables More... | |
| class | FloatTestSpace |
| Space for executing Float tests. More... | |
| class | Int |
| Test brancher with distinct propagator More... | |
| class | IntTest |
| Base class for tests for branching on integer variables More... | |
| class | IntTestSpace |
| Space for executing integer tests. More... | |
| class | RunInfo |
| Information about one test-run. More... | |
| class | Set |
| Test brancher More... | |
| class | SetTest |
| Base class for tests for branching on set variables More... | |
| class | SetTestSpace |
| Space for executing Set tests. More... | |
Functions | |
| double | tbl (const Gecode::Space &, double w, double b) |
| Test function for tie-break limit function. | |
| template<class TestSpace> | |
| int | solutions (TestSpace *c, Gecode::Search::Options &o, int maxNbSol=-1) |
| 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) |
Collection of possible arguments for integer branchers | |
| double | int_merit (const Gecode::Space &, Gecode::IntVar x, int) |
| Test function for branch merit function. | |
| double | bool_merit (const Gecode::Space &, Gecode::BoolVar x, int) |
| Test function for branch merit function. | |
| int | int_val (const Gecode::Space &, Gecode::IntVar x, int) |
| Test function for branch value function. | |
| int | bool_val (const Gecode::Space &, Gecode::BoolVar x, int) |
| Test function for branch value function. | |
Collection of possible arguments for set branchers | |
| double | set_merit (const Gecode::Space &, Gecode::SetVar, int) |
| Test function for branch merit function. | |
| int | set_val (const Gecode::Space &, Gecode::SetVar x, int) |
| Test function for branch value function. | |
Collection of possible arguments for float branchers | |
| double | float_merit (const Gecode::Space &, Gecode::FloatVar x, int) |
| Test function for branch merit function. | |
| Gecode::FloatNumBranch | float_val (const Gecode::Space &, Gecode::FloatVar x, int) |
| Test function for branch value function. | |
Tests for branchings.
| double Test::Branch::tbl | ( | const Gecode::Space & | , |
| double | w, | ||
| double | b ) |
Test function for tie-break limit function.
Definition at line 61 of file branch.cpp.
| int Test::Branch::solutions | ( | TestSpace * | c, |
| Gecode::Search::Options & | o, | ||
| int | maxNbSol = -1 ) |
Find number of solutions.
Definition at line 412 of file branch.cpp.
| Bool Test::Branch::b_3("3", 3) | ( | "3" | , |
| 3 | ) |
| Bool Test::Branch::b_5("5", 5) | ( | "5" | , |
| 5 | ) |
| Bool Test::Branch::b_7("7", 7) | ( | "7" | , |
| 7 | ) |
| Gecode::IntSet Test::Branch::d_dense(-2, 2) | ( | - | 2, |
| 2 | ) |
| Gecode::IntSet Test::Branch::d_sparse(v_sparse, 5) | ( | v_sparse | , |
| 5 | ) |
| Gecode::IntSet Test::Branch::d_large(-2, 10) | ( | - | 2, |
| 10 | ) |