Tests for branchings.
More...
|
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) |
|
◆ tbl()
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.
◆ solutions()
template<class TestSpace >
Find number of solutions.
Definition at line 412 of file branch.cpp.
◆ b_3
Bool Test::Branch::b_3("3", 3) |
( |
"3" |
, |
|
|
3 |
|
|
) |
| |
◆ b_5
Bool Test::Branch::b_5("5", 5) |
( |
"5" |
, |
|
|
5 |
|
|
) |
| |
◆ b_7
Bool Test::Branch::b_7("7", 7) |
( |
"7" |
, |
|
|
7 |
|
|
) |
| |
◆ d_dense
◆ v_sparse
const int Test::Branch::v_sparse[5] = {-100,-10,0,10,100} |
◆ d_sparse
◆ d_large
◆ d_3
Int Test::Branch::d_3("Dense::3", d_dense, 3) |
( |
"Dense::3" |
, |
|
|
d_dense |
, |
|
|
3 |
|
|
) |
| |
◆ d_5
Int Test::Branch::d_5("Dense::5", d_dense, 5) |
( |
"Dense::5" |
, |
|
|
d_dense |
, |
|
|
5 |
|
|
) |
| |
◆ s_3
Int Test::Branch::s_3("Sparse::3", d_sparse, 3) |
( |
"Sparse::3" |
, |
|
|
d_sparse |
, |
|
|
3 |
|
|
) |
| |
◆ s_5
Int Test::Branch::s_5("Sparse::5", d_sparse, 5) |
( |
"Sparse::5" |
, |
|
|
d_sparse |
, |
|
|
5 |
|
|
) |
| |
◆ l_2
Int Test::Branch::l_2("Large::2", d_large, 2) |
( |
"Large::2" |
, |
|
|
d_large |
, |
|
|
2 |
|
|
) |
| |
◆ l_3
Int Test::Branch::l_3("Large::3", d_large, 3) |
( |
"Large::3" |
, |
|
|
d_large |
, |
|
|
3 |
|
|
) |
| |