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 Gecode::IntAssign | int_assign [] |
Integer value assignments. | |
const int | n_int_assign |
Number of integer value selections. | |
const char * | int_assign_name [] |
Names for integer assignments. |
Space for executing integer tests.
Definition at line 45 of file assign.cpp.
Test::Assign::IntTestSpace::IntTestSpace | ( | int | n, |
Gecode::IntSet & | d | ||
) | [inline] |
Initialize test space.
Definition at line 50 of file assign.cpp.
Test::Assign::IntTestSpace::IntTestSpace | ( | bool | share, |
IntTestSpace & | s | ||
) | [inline] |
Constructor for cloning s.
Definition at line 53 of file assign.cpp.
virtual Gecode::Space* Test::Assign::IntTestSpace::copy | ( | bool | share | ) | [inline, virtual] |
const Gecode::IntAssign int_assign[] [related] |
Integer value assignments.
Definition at line 111 of file assign.cpp.
const int n_int_assign [related] |
sizeof(int_assign)/sizeof(Gecode::IntAssign)
Number of integer value selections.
Definition at line 118 of file assign.cpp.
const char* int_assign_name[] [related] |
{ "INT_ASSIGN_MIN", "INT_ASSIGN_MED", "INT_ASSIGN_MAX", "INT_ASSIGN_RND" }
Names for integer assignments.
Definition at line 121 of file assign.cpp.
Variables to be tested.
Definition at line 48 of file assign.cpp.