Test::Assign::SetTestSpace Class Reference
Space for executing Boolean tests. More...
Public Member Functions | |
SetTestSpace (int n, const Gecode::IntSet &d) | |
Initialize test space. | |
SetTestSpace (SetTestSpace &s) | |
Constructor for cloning s. | |
virtual Gecode::Space * | copy (void) |
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. |
Detailed Description
Space for executing Boolean tests.
Definition at line 85 of file assign.cpp.
Constructor & Destructor Documentation
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 | ( | SetTestSpace & | s | ) | [inline] |
Constructor for cloning s.
Definition at line 93 of file assign.cpp.
Member Function Documentation
virtual Gecode::Space* Test::Assign::SetTestSpace::copy | ( | void | ) | [inline, virtual] |
Friends And Related Function Documentation
const char* set_assign_name[] [related] |
Initial value:
{ "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 275 of file assign.cpp.
const int n_set_assign [related] |
Initial value:
sizeof(set_assign_name)/sizeof(const char*)
Number of set value selections.
Definition at line 287 of file assign.cpp.
int set_val | ( | const Gecode::Space & | , | |
Gecode::SetVar | x, | |||
int | ||||
) | [related] |
Test function for branch value function.
Definition at line 290 of file assign.cpp.
Member Data Documentation
Variables to be tested.
Definition at line 88 of file assign.cpp.
The documentation for this class was generated from the following files:
- test/assign.cpp
- test/branch.cpp