Generated on Thu Apr 11 13:59:34 2019 for Gecode by doxygen 1.6.3

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.