Space for executing Boolean tests. More...
Public Member Functions | |
SetTestSpace (int n, const 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 assignments | |
const char * | set_assign_name [] |
Names for integer assignments. | |
const int | n_set_assign |
Number of set value selections. | |
int | set_val (const Gecode::Space &, Gecode::SetVar x, int) |
Test function for branch value function. |
Space for executing Boolean tests.
Definition at line 89 of file assign.cpp.
Test::Assign::SetTestSpace::SetTestSpace | ( | int | n, |
const Gecode::IntSet & | d | ||
) | [inline] |
Initialize test space.
Definition at line 94 of file assign.cpp.
Test::Assign::SetTestSpace::SetTestSpace | ( | bool | share, |
SetTestSpace & | s | ||
) | [inline] |
Constructor for cloning s.
Definition at line 97 of file assign.cpp.
virtual Gecode::Space* Test::Assign::SetTestSpace::copy | ( | bool | share | ) | [inline, virtual] |
const char* set_assign_name[] [related] |
{ "SET_ASSIGN_MIN_INC", "SET_ASSIGN_MIN_EXC", "SET_ASSIGN_MED_INC", "SET_ASSIGN_MED_EXC", "SET_ASSIGN_MAX_INC", "SET_ASSIGN_MAX_EXC", "SET_ASSIGN_RND_INC", "SET_ASSIGN_RND_EXC", "SET_ASSIGN" }
Names for integer assignments.
Definition at line 261 of file assign.cpp.
const int n_set_assign [related] |
sizeof(set_assign_name)/sizeof(const char*)
Number of set value selections.
Definition at line 273 of file assign.cpp.
int set_val | ( | const Gecode::Space & | , |
Gecode::SetVar | x, | ||
int | |||
) | [related] |
Test function for branch value function.
Definition at line 276 of file assign.cpp.
Variables to be tested.
Definition at line 92 of file assign.cpp.