Space for executing Boolean tests. More...
Public Member Functions | |
FloatTestSpace (int n, const Gecode::FloatVal &d) | |
Initialize test space. | |
FloatTestSpace (bool share, FloatTestSpace &s) | |
Constructor for cloning s. | |
virtual Gecode::Space * | copy (bool share) |
Copy space during cloning. | |
Public Attributes | |
Gecode::FloatVarArray | x |
Variables to be tested. | |
Collection of possible arguments for float assignments | |
const char * | float_assign_name [] |
Names for float assignments. | |
const int | n_float_assign |
Number of float value selections. | |
Gecode::FloatNumBranch | float_val (const Gecode::Space &, Gecode::FloatVar x, int) |
Test function for branch value function. |
Space for executing Boolean tests.
Definition at line 112 of file assign.cpp.
Test::Assign::FloatTestSpace::FloatTestSpace | ( | int | n, |
const Gecode::FloatVal & | d | ||
) | [inline] |
Initialize test space.
Definition at line 117 of file assign.cpp.
Test::Assign::FloatTestSpace::FloatTestSpace | ( | bool | share, |
FloatTestSpace & | s | ||
) | [inline] |
Constructor for cloning s.
Definition at line 120 of file assign.cpp.
virtual Gecode::Space* Test::Assign::FloatTestSpace::copy | ( | bool | share | ) | [inline, virtual] |
const char* float_assign_name[] [related] |
{ "FLOAT_ASSIGN_MIN", "FLOAT_ASSIGN_MAX", "FLOAT_ASSIGN_RND", "FLOAT_ASSIGN" }
Names for float assignments.
Definition at line 345 of file assign.cpp.
const int n_float_assign [related] |
sizeof(float_assign_name)/sizeof(const char*)
Number of float value selections.
Definition at line 352 of file assign.cpp.
Gecode::FloatNumBranch float_val | ( | const Gecode::Space & | , |
Gecode::FloatVar | x, | ||
int | |||
) | [related] |
Test function for branch value function.
Definition at line 355 of file assign.cpp.
Variables to be tested.
Definition at line 115 of file assign.cpp.