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

Value selection for assigning integer variables
[Branching]

Functions

IntAssign Gecode::INT_ASSIGN_MIN (void)
 Select smallest value.
IntAssign Gecode::INT_ASSIGN_MED (void)
 Select greatest value not greater than the median.
IntAssign Gecode::INT_ASSIGN_MAX (void)
 Select largest value.
IntAssign Gecode::INT_ASSIGN_RND (Rnd r)
 Select random value.
IntAssign Gecode::INT_ASSIGN (IntBranchVal v, IntBranchCommit c=nullptr)
 Select value as defined by the value function v and commit function c.
BoolAssign Gecode::BOOL_ASSIGN_MIN (void)
 Select smallest value.
BoolAssign Gecode::BOOL_ASSIGN_MAX (void)
 Select largest value.
BoolAssign Gecode::BOOL_ASSIGN_RND (Rnd r)
 Select random value.
BoolAssign Gecode::BOOL_ASSIGN (BoolBranchVal v, BoolBranchCommit c=nullptr)
 Select value as defined by the value function v and commit function c.

Function Documentation

IntAssign Gecode::INT_ASSIGN_MIN ( void   )  [inline]

Select smallest value.

IntAssign Gecode::INT_ASSIGN_MED ( void   )  [inline]

Select greatest value not greater than the median.

IntAssign Gecode::INT_ASSIGN_MAX ( void   )  [inline]

Select largest value.

IntAssign Gecode::INT_ASSIGN_RND ( Rnd  r  )  [inline]

Select random value.

IntAssign Gecode::INT_ASSIGN ( IntBranchVal  v,
IntBranchCommit  c = nullptr 
) [inline]

Select value as defined by the value function v and commit function c.

Uses a commit function as default that posts the constraint that a variable x must be equal to the value n.

BoolAssign Gecode::BOOL_ASSIGN_MIN ( void   )  [inline]

Select smallest value.

BoolAssign Gecode::BOOL_ASSIGN_MAX ( void   )  [inline]

Select largest value.

BoolAssign Gecode::BOOL_ASSIGN_RND ( Rnd  r  )  [inline]

Select random value.

BoolAssign Gecode::BOOL_ASSIGN ( BoolBranchVal  v,
BoolBranchCommit  c = nullptr 
) [inline]

Select value as defined by the value function v and commit function c.

Uses a commit function as default that posts the constraint that a variable x must be equal to the value n.