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::Space *	copy (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:

 {
    "FLOAT_ASSIGN_MIN",
    "FLOAT_ASSIGN_MAX",
    "FLOAT_ASSIGN_RND",
    "FLOAT_ASSIGN"
  }

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,
		int
	)			[related]

Test function for branch value function.

Definition at line 367 of file assign.cpp.

---

Member Data Documentation

Gecode::FloatVarArray Test::Assign::FloatTestSpace::x

Variables to be tested.

Definition at line 111 of file assign.cpp.

---

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

• test/assign.cpp
• test/branch.cpp