Test::Assign::FloatTestSpace Class Reference
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. | |
Detailed Description
Space for executing Boolean tests.
Definition at line 112 of file assign.cpp.
Constructor & Destructor Documentation
| 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.
Member Function Documentation
| virtual Gecode::Space* Test::Assign::FloatTestSpace::copy | ( | bool | share | ) | [inline, virtual] |
Friends And Related Function Documentation
const char* float_assign_name[] [related] |
Initial value:
{
"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] |
Initial value:
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.
Member Data Documentation
Variables to be tested.
Definition at line 115 of file assign.cpp.
The documentation for this class was generated from the following files: