Value selection for assigning float variables
[Branching on float variables]

Functions
FloatAssign	Gecode::FLOAT_ASSIGN_MIN (void)
	Select median value of the lower part.
FloatAssign	Gecode::FLOAT_ASSIGN_MAX (void)
	Select median value of the upper part.
FloatAssign	Gecode::FLOAT_ASSIGN_RND (Rnd r)
	Select median value of a randomly chosen part.
FloatAssign	Gecode::FLOAT_ASSIGN (FloatBranchVal v, FloatBranchCommit c)

---

Function Documentation

FloatAssign Gecode::FLOAT_ASSIGN_MIN

(

void

)

[inline]

Select median value of the lower part.

FloatAssign Gecode::FLOAT_ASSIGN_MAX

(

void

)

[inline]

Select median value of the upper part.

FloatAssign Gecode::FLOAT_ASSIGN_RND

(

Rnd

r

)

[inline]

Select median value of a randomly chosen part.

FloatAssign Gecode::FLOAT_ASSIGN	(	FloatBranchVal	v,
		FloatBranchCommit	c = nullptr
	)			[inline]

Select value as defined by the value function v and commit function c The default commit function posts the constraint that the float variable x must be less or equal than the value n.