Space for executing integer tests. More...
Public Member Functions | |
IntTestSpace (int n, Gecode::IntSet &d) | |
Initialize test space. | |
IntTestSpace (bool share, IntTestSpace &s) | |
Constructor for cloning s. | |
virtual Gecode::Space * | copy (bool share) |
Copy space during cloning. | |
Public Attributes | |
Gecode::IntVarArray | x |
Variables to be tested. | |
Gecode::IntVarBranch | vara |
Variable selection criteria. | |
Gecode::IntVarBranch | varb |
Gecode::IntValBranch | val |
Varlue selection criterion. | |
Collection of possible arguments for integer branchers | |
const Gecode::IntVarBranch | int_var_branch [] |
Integer variable selections. | |
const int | n_int_var_branch |
Number of integer variable selections. | |
const char * | int_var_branch_name [] |
Names for integer variable selections. | |
const Gecode::IntValBranch | int_val_branch [] |
Integer value selections. | |
const int | n_int_val_branch |
Number of integer value selections. | |
const char * | int_val_branch_name [] |
Names for integer value selections. |
Space for executing integer tests.
Test::Branch::IntTestSpace::IntTestSpace | ( | int | n, |
Gecode::IntSet & | d | ||
) | [inline] |
Initialize test space.
Definition at line 65 of file branch.cpp.
Test::Branch::IntTestSpace::IntTestSpace | ( | bool | share, |
IntTestSpace & | s | ||
) | [inline] |
Constructor for cloning s.
Definition at line 70 of file branch.cpp.
virtual Gecode::Space* Test::Branch::IntTestSpace::copy | ( | bool | share | ) | [inline, virtual] |
const Gecode::IntVarBranch int_var_branch[] [related] |
{ Gecode::INT_VAR_NONE, Gecode::INT_VAR_NONE, Gecode::INT_VAR_RND, Gecode::INT_VAR_DEGREE_MIN, Gecode::INT_VAR_DEGREE_MAX, Gecode::INT_VAR_AFC_MIN, Gecode::INT_VAR_AFC_MAX, Gecode::INT_VAR_MIN_MIN, Gecode::INT_VAR_MIN_MAX, Gecode::INT_VAR_MAX_MIN, Gecode::INT_VAR_MAX_MAX, Gecode::INT_VAR_SIZE_MIN, Gecode::INT_VAR_SIZE_MAX, Gecode::INT_VAR_SIZE_DEGREE_MIN, Gecode::INT_VAR_SIZE_DEGREE_MAX, Gecode::INT_VAR_SIZE_AFC_MIN, Gecode::INT_VAR_SIZE_AFC_MAX, Gecode::INT_VAR_REGRET_MIN_MIN, Gecode::INT_VAR_REGRET_MIN_MAX, Gecode::INT_VAR_REGRET_MAX_MIN, Gecode::INT_VAR_REGRET_MAX_MAX }
Integer variable selections.
Definition at line 126 of file branch.cpp.
const int n_int_var_branch [related] |
sizeof(int_var_branch)/sizeof(Gecode::IntVarBranch)
Number of integer variable selections.
Definition at line 150 of file branch.cpp.
const char* int_var_branch_name[] [related] |
{ "SINGLE VARIABLE", "INT_VAR_NONE", "INT_VAR_RND", "INT_VAR_DEGREE_MIN", "INT_VAR_DEGREE_MAX", "INT_VAR_AFC_MIN", "INT_VAR_AFC_MAX", "INT_VAR_MIN_MIN", "INT_VAR_MIN_MAX", "INT_VAR_MAX_MIN", "INT_VAR_MAX_MAX", "INT_VAR_SIZE_MIN", "INT_VAR_SIZE_MAX", "INT_VAR_SIZE_DEGREE_MIN", "INT_VAR_SIZE_DEGREE_MAX", "INT_VAR_SIZE_AFC_MIN", "INT_VAR_SIZE_AFC_MAX", "INT_VAR_REGRET_MIN_MIN", "INT_VAR_REGRET_MIN_MAX", "INT_VAR_REGRET_MAX_MIN", "INT_VAR_REGRET_MAX_MAX" }
Names for integer variable selections.
Definition at line 153 of file branch.cpp.
const Gecode::IntValBranch int_val_branch[] [related] |
{ Gecode::INT_VAL_MIN, Gecode::INT_VAL_MED, Gecode::INT_VAL_MAX, Gecode::INT_VAL_RND, Gecode::INT_VAL_SPLIT_MIN, Gecode::INT_VAL_SPLIT_MAX, Gecode::INT_VAL_RANGE_MIN, Gecode::INT_VAL_RANGE_MAX, Gecode::INT_VALUES_MIN, Gecode::INT_VALUES_MAX }
Integer value selections.
Definition at line 177 of file branch.cpp.
const int n_int_val_branch [related] |
sizeof(int_val_branch)/sizeof(Gecode::IntValBranch)
Number of integer value selections.
Definition at line 190 of file branch.cpp.
const char* int_val_branch_name[] [related] |
{ "INT_VAL_MIN", "INT_VAL_MED", "INT_VAL_MAX", "INT_VAL_RND", "INT_VAL_SPLIT_MIN", "INT_VAL_SPLIT_MAX", "INT_VAL_RANGE_MIN", "INT_VAL_RANGE_MAX", "INT_VALUES_MIN", "INT_VALUES_MAX" }
Names for integer value selections.
Definition at line 193 of file branch.cpp.
Variables to be tested.
Definition at line 59 of file branch.cpp.
Variable selection criteria.
Definition at line 61 of file branch.cpp.
Definition at line 61 of file branch.cpp.
Varlue selection criterion.
Definition at line 63 of file branch.cpp.