Generated on Fri Oct 19 11:25:35 2018 for Gecode by doxygen 1.6.3

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.