Test::Assign::IntTestSpace Class Reference
Space for executing integer tests. More...
Public Member Functions | |
IntTestSpace (int n, Gecode::IntSet &d) | |
Initialize test space. | |
IntTestSpace (bool share, IntTestSpace &s) | |
Constructor for cloning s. | |
virtual Gecode::Space * | copy (bool share) |
Copy space during cloning. | |
Public Attributes | |
Gecode::IntVarArray | x |
Variables to be tested. | |
Collection of possible arguments for integer assignments | |
| |
const char * | int_assign_name [] |
Names for integer assignments. | |
const int | n_int_assign |
Number of integer value selections. | |
int | int_val (const Gecode::Space &, Gecode::IntVar x, int) |
Test function for branch value function. | |
int | bool_val (const Gecode::Space &, Gecode::BoolVar x, int) |
Test function for branch value function. |
Detailed Description
Space for executing integer tests.
Definition at line 49 of file assign.cpp.
Constructor & Destructor Documentation
Test::Assign::IntTestSpace::IntTestSpace | ( | int | n, | |
Gecode::IntSet & | d | |||
) | [inline] |
Initialize test space.
Definition at line 54 of file assign.cpp.
Test::Assign::IntTestSpace::IntTestSpace | ( | bool | share, | |
IntTestSpace & | s | |||
) | [inline] |
Constructor for cloning s.
Definition at line 57 of file assign.cpp.
Member Function Documentation
virtual Gecode::Space* Test::Assign::IntTestSpace::copy | ( | bool | share | ) | [inline, virtual] |
Friends And Related Function Documentation
const char* int_assign_name[] [related] |
Initial value:
{ "INT_ASSIGN_MIN", "INT_ASSIGN_MED", "INT_ASSIGN_MAX", "INT_ASSIGN_RND", "INT_ASSIGN" }
Names for integer assignments.
Definition at line 138 of file assign.cpp.
const int n_int_assign [related] |
Initial value:
sizeof(int_assign_name)/sizeof(const char*)
Number of integer value selections.
Definition at line 146 of file assign.cpp.
int int_val | ( | const Gecode::Space & | , | |
Gecode::IntVar | x, | |||
int | ||||
) | [related] |
Test function for branch value function.
Definition at line 149 of file assign.cpp.
int bool_val | ( | const Gecode::Space & | , | |
Gecode::BoolVar | x, | |||
int | ||||
) | [related] |
Test function for branch value function.
Definition at line 153 of file assign.cpp.
Member Data Documentation
Variables to be tested.
Definition at line 52 of file assign.cpp.
The documentation for this class was generated from the following files: