Value selection for float variables
[Branching on float variables]

Functions
FloatValBranch	Gecode::FLOAT_VAL_SPLIT_MIN (void)
	Select values not greater than mean of smallest and largest value.
FloatValBranch	Gecode::FLOAT_VAL_SPLIT_MAX (void)
	Select values greater than mean of smallest and largest value.
FloatValBranch	Gecode::FLOAT_VAL_SPLIT_RND (Rnd r)
	Select values randomly which are not greater or not smaller than mean of largest and smallest value.
FloatValBranch	Gecode::FLOAT_VAL (FloatBranchVal v, FloatBranchCommit c)

---

Function Documentation

FloatValBranch Gecode::FLOAT_VAL_SPLIT_MIN

(

void

)

[inline]

Select values not greater than mean of smallest and largest value.

FloatValBranch Gecode::FLOAT_VAL_SPLIT_MAX

(

void

)

[inline]

Select values greater than mean of smallest and largest value.

FloatValBranch Gecode::FLOAT_VAL_SPLIT_RND

(

Rnd

r

)

[inline]

Select values randomly which are not greater or not smaller than mean of largest and smallest value.

FloatValBranch Gecode::FLOAT_VAL	(	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 for the first alternative and that x must be greater or equal than n otherwise.