Test::Branch Namespace Reference
Detailed Description
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) |
Function Documentation
Gecode::IntSet Test::Branch::d_dense | ( | - | 2, | |
2 | ||||
) |
Gecode::IntSet Test::Branch::d_sparse | ( | v_sparse | , | |
5 | ||||
) |
Int Test::Branch::d_3 | ( | "Dense::3" | , | |
d_dense | , | |||
3 | ||||
) |
Variable Documentation
Bool Test::Branch::b_3("3", 3) |
Bool Test::Branch::b_5("5", 5) |
Bool Test::Branch::b_7("7", 7) |
Gecode::IntSet Test::Branch::d_large(-2, 10) |
Set Test::Branch::d_5("Dense::5", d_dense, 5) | ( | "Dense::5" | , | |
d_dense | , | |||
5 | ||||
) |
Set Test::Branch::s_3("Sparse::3", d_sparse, 3) | ( | "Sparse::3" | , | |
d_sparse | , | |||
3 | ||||
) |
Set Test::Branch::s_5("Sparse::5", d_sparse, 5) | ( | "Sparse::5" | , | |
d_sparse | , | |||
5 | ||||
) |
Int Test::Branch::l_2("Large::2", d_large, 2) |
Int Test::Branch::l_3("Large::3", d_large, 3) |