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) |
Collection of possible arguments for integer assignments | |
int | int_val (const Gecode::Space &, Gecode::IntVar x, int) |
Test function for branch value function. |
Collection of possible arguments for Boolean assignments | |
int | bool_val (const Gecode::Space &, Gecode::BoolVar x, int) |
Test function for branch value function. |
Collection of possible arguments for set assignments | |
int | set_val (const Gecode::Space &, Gecode::SetVar x, int) |
Test function for branch value function. |
Collection of possible arguments for float assignments | |
Gecode::FloatNumBranch | float_val (const Gecode::Space &, Gecode::FloatVar x, int) |
Test function for branch value function. |
Tests for assignments.
Bool Test::Assign::b_3("3", 3) | ( | "3" | , |
3 | ) |
Bool Test::Assign::b_5("5", 5) | ( | "5" | , |
5 | ) |
Bool Test::Assign::b_7("7", 7) | ( | "7" | , |
7 | ) |
Gecode::IntSet Test::Assign::d_dense(-2, 2) | ( | - | 2, |
2 | ) |
Gecode::IntSet Test::Assign::d_sparse(v_sparse, 5) | ( | v_sparse | , |
5 | ) |
Gecode::IntSet Test::Assign::d_large(-2, 10) | ( | - | 2, |
10 | ) |