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. |
Space for executing integer tests.
Definition at line 49 of file assign.cpp.
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.
virtual Gecode::Space* Test::Assign::IntTestSpace::copy | ( | bool | share | ) | [inline, virtual] |
const char* int_assign_name[] [related] |
{ "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] |
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.
Variables to be tested.
Definition at line 52 of file assign.cpp.