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 Gecode::SetAssign | set_assign [] |
Set value assignments. | |
const int | n_set_assign |
Number of set value selections. | |
const char * | set_assign_name [] |
Names for integer assignments. |
Space for executing Boolean tests.
Test::Assign::SetTestSpace::SetTestSpace | ( | int | n, |
const Gecode::IntSet & | d | ||
) | [inline] |
Initialize test space.
Definition at line 90 of file assign.cpp.
Test::Assign::SetTestSpace::SetTestSpace | ( | bool | share, |
SetTestSpace & | s | ||
) | [inline] |
Constructor for cloning s.
Definition at line 93 of file assign.cpp.
virtual Gecode::Space* Test::Assign::SetTestSpace::copy | ( | bool | share | ) | [inline, virtual] |
const Gecode::SetAssign set_assign[] [related] |
{ Gecode::SET_ASSIGN_MIN_INC, Gecode::SET_ASSIGN_MIN_EXC, Gecode::SET_ASSIGN_MED_INC, Gecode::SET_ASSIGN_MED_EXC, Gecode::SET_ASSIGN_MAX_INC, Gecode::SET_ASSIGN_MAX_EXC, Gecode::SET_ASSIGN_RND_INC, Gecode::SET_ASSIGN_RND_EXC }
Set value assignments.
Definition at line 211 of file assign.cpp.
const int n_set_assign [related] |
sizeof(set_assign)/sizeof(Gecode::SetAssign)
Number of set value selections.
Definition at line 222 of file assign.cpp.
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" }
Names for integer assignments.
Definition at line 225 of file assign.cpp.
Variables to be tested.
Definition at line 88 of file assign.cpp.