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 char * | set_var_branch_name [] |
Names for set variable selections. | |
const int | n_set_var_branch |
Number of set variable selections. | |
const char * | set_val_branch_name [] |
Names for set value selections. | |
const int | n_set_val_branch |
Number of set value selections. | |
double | set_merit (const Gecode::Space &, Gecode::SetVar, int) |
Test function for branch merit function. | |
int | set_val (const Gecode::Space &, Gecode::SetVar x, int) |
Test function for branch value function. |
Space for executing Boolean tests.
Definition at line 115 of file branch.cpp.
Test::Branch::SetTestSpace::SetTestSpace | ( | int | n, |
Gecode::IntSet & | d | ||
) | [inline] |
Initialize test space.
Definition at line 120 of file branch.cpp.
Test::Branch::SetTestSpace::SetTestSpace | ( | bool | share, |
SetTestSpace & | s | ||
) | [inline] |
Constructor for cloning s.
Definition at line 123 of file branch.cpp.
virtual Gecode::Space* Test::Branch::SetTestSpace::copy | ( | bool | share | ) | [inline, virtual] |
const char* set_var_branch_name[] [related] |
{ "SINGLE VARIABLE", "SET_VAR_NONE", "SET_VAR_RND", "SET_VAR_MERIT_MIN", "SET_VAR_MERIT_MAX", "SET_VAR_DEGREE_MIN", "SET_VAR_DEGREE_MAX", "SET_VAR_AFC_MIN", "SET_VAR_AFC_MAX", "SET_VAR_ACTIVITY_MIN", "SET_VAR_ACTIVITY_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_DEGREE_SIZE_MIN", "SET_VAR_DEGREE_SIZE_MAX", "SET_VAR_AFC_SIZE_MIN", "SET_VAR_AFC_SIZE_MAX", "SET_VAR_ACTIVITY_SIZE_MIN", "SET_VAR_ACTIVITY_SIZE_MAX" }
Names for set variable selections.
Definition at line 239 of file branch.cpp.
const int n_set_var_branch [related] |
sizeof(set_var_branch_name)/sizeof(const char*)
Number of set variable selections.
Definition at line 265 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", "SET_VAL" }
Names for set value selections.
Definition at line 272 of file branch.cpp.
const int n_set_val_branch [related] |
sizeof(set_val_branch_name)/sizeof(const char*)
Number of set value selections.
Definition at line 284 of file branch.cpp.
double set_merit | ( | const Gecode::Space & | , |
Gecode::SetVar | , | ||
int | |||
) | [related] |
Test function for branch merit function.
Definition at line 268 of file branch.cpp.
int set_val | ( | const Gecode::Space & | , |
Gecode::SetVar | x, | ||
int | |||
) | [related] |
Test function for branch value function.
Definition at line 287 of file branch.cpp.
Variables to be tested.
Definition at line 118 of file branch.cpp.