Generated on Tue May 22 09:41:48 2018 for Gecode by doxygen 1.6.3

Test::Assign::FloatTestSpace Class Reference

Space for executing Boolean tests. More...

List of all members.

Public Member Functions

 FloatTestSpace (int n, const Gecode::FloatVal &d)
 Initialize test space.
 FloatTestSpace (FloatTestSpace &s)
 Constructor for cloning s.
virtual Gecode::Spacecopy (void)
 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 108 of file assign.cpp.

Constructor & Destructor Documentation

Test::Assign::FloatTestSpace::FloatTestSpace ( int  n,
const Gecode::FloatVal d 
) [inline]

Initialize test space.

Definition at line 113 of file assign.cpp.

Test::Assign::FloatTestSpace::FloatTestSpace ( FloatTestSpace s  )  [inline]

Constructor for cloning s.

Definition at line 116 of file assign.cpp.

Member Function Documentation

virtual Gecode::Space* Test::Assign::FloatTestSpace::copy ( void   )  [inline, virtual]

Copy space during cloning.

Implements Gecode::Space.

Definition at line 121 of file assign.cpp.

Friends And Related Function Documentation

const char* float_assign_name[] [related]
Initial value:

Names for float assignments.

Definition at line 357 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 364 of file assign.cpp.

Gecode::FloatNumBranch float_val ( const Gecode::Space ,
Gecode::FloatVar  x,
) [related]

Test function for branch value function.

Definition at line 367 of file assign.cpp.

Member Data Documentation

Variables to be tested.

Definition at line 111 of file assign.cpp.

The documentation for this class was generated from the following files: