Space for executing Boolean tests. More...
Public Member Functions | |
SetTestSpace (int n, Gecode::IntSet &d) | |
Initialize test space. | |
SetTestSpace (bool share, SetTestSpace &s) | |
Constructor for cloning s. | |
virtual Gecode::Space * | copy (bool share) |
Copy space during cloning. | |
Public Attributes | |
Gecode::SetVarArray | x |
Variables to be tested. | |
Collection of possible arguments for set branchers | |
const Gecode::SetVarBranch | set_var_branch [] |
Set variable selections. | |
const int | n_set_var_branch |
Number of set variable selections. | |
const char * | set_var_branch_name [] |
Names for set variable selections. | |
const Gecode::SetValBranch | set_val_branch [] |
Set value selections. | |
const int | n_set_val_branch |
Number of set value selections. | |
const char * | set_val_branch_name [] |
Names for set value selections. |
Space for executing Boolean tests.
Definition at line 101 of file branch.cpp.
Test::Branch::SetTestSpace::SetTestSpace | ( | int | n, |
Gecode::IntSet & | d | ||
) | [inline] |
Initialize test space.
Definition at line 106 of file branch.cpp.
Test::Branch::SetTestSpace::SetTestSpace | ( | bool | share, |
SetTestSpace & | s | ||
) | [inline] |
Constructor for cloning s.
Definition at line 109 of file branch.cpp.
virtual Gecode::Space* Test::Branch::SetTestSpace::copy | ( | bool | share | ) | [inline, virtual] |
const Gecode::SetVarBranch set_var_branch[] [related] |
{ Gecode::SET_VAR_NONE, Gecode::SET_VAR_NONE, Gecode::SET_VAR_RND, Gecode::SET_VAR_DEGREE_MIN, Gecode::SET_VAR_DEGREE_MAX, Gecode::SET_VAR_AFC_MIN, Gecode::SET_VAR_AFC_MAX, Gecode::SET_VAR_MIN_MIN, Gecode::SET_VAR_MIN_MAX, Gecode::SET_VAR_MAX_MIN, Gecode::SET_VAR_MAX_MAX, Gecode::SET_VAR_SIZE_MIN, Gecode::SET_VAR_SIZE_MAX, Gecode::SET_VAR_SIZE_DEGREE_MIN, Gecode::SET_VAR_SIZE_DEGREE_MAX, Gecode::SET_VAR_SIZE_AFC_MIN, Gecode::SET_VAR_SIZE_AFC_MAX }
Set variable selections.
Definition at line 214 of file branch.cpp.
const int n_set_var_branch [related] |
sizeof(set_var_branch)/sizeof(Gecode::SetVarBranch)
Number of set variable selections.
Definition at line 234 of file branch.cpp.
const char* set_var_branch_name[] [related] |
{ "SINGLE VARIABLE", "SET_VAR_NONE", "SET_VAR_RND", "SET_VAR_DEGREE_MIN", "SET_VAR_DEGREE_MAX", "SET_VAR_AFC_MIN", "SET_VAR_AFC_MAX", "SET_VAR_MIN_MIN", "SET_VAR_MIN_MAX", "SET_VAR_MAX_MIN", "SET_VAR_MAX_MAX", "SET_VAR_SIZE_MIN", "SET_VAR_SIZE_MAX", "SET_VAR_SIZE_DEGREE_MIN", "SET_VAR_SIZE_DEGREE_MAX", "SET_VAR_SIZE_AFC_MIN", "SET_VAR_SIZE_AFC_MAX" }
Names for set variable selections.
Definition at line 237 of file branch.cpp.
const Gecode::SetValBranch set_val_branch[] [related] |
{ Gecode::SET_VAL_MIN_INC, Gecode::SET_VAL_MIN_EXC, Gecode::SET_VAL_MED_INC, Gecode::SET_VAL_MED_EXC, Gecode::SET_VAL_MAX_INC, Gecode::SET_VAL_MAX_EXC, Gecode::SET_VAL_RND_INC, Gecode::SET_VAL_RND_EXC }
Set value selections.
Definition at line 257 of file branch.cpp.
const int n_set_val_branch [related] |
sizeof(set_val_branch)/sizeof(Gecode::SetValBranch)
Number of set value selections.
Definition at line 268 of file branch.cpp.
const char* set_val_branch_name[] [related] |
{ "SET_VAL_MIN_INC", "SET_VAL_MIN_EXC", "SET_VAL_MED_INC", "SET_VAL_MED_EXC", "SET_VAL_MAX_INC", "SET_VAL_MAX_EXC", "SET_VAL_RND_INC", "SET_VAL_RND_EXC" }
Names for set value selections.
Definition at line 271 of file branch.cpp.
Variables to be tested.
Definition at line 104 of file branch.cpp.