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

Value selection for set variables
[Branching]

Functions

SetValBranch Gecode::SET_VAL_MIN_INC (void)
 Include smallest element.
SetValBranch Gecode::SET_VAL_MIN_EXC (void)
 Exclude smallest element.
SetValBranch Gecode::SET_VAL_MED_INC (void)
 Include median element (rounding downwards).
SetValBranch Gecode::SET_VAL_MED_EXC (void)
 Exclude median element (rounding downwards).
SetValBranch Gecode::SET_VAL_MAX_INC (void)
 Include largest element.
SetValBranch Gecode::SET_VAL_MAX_EXC (void)
 Exclude largest element.
SetValBranch Gecode::SET_VAL_RND_INC (Rnd r)
 Include random element.
SetValBranch Gecode::SET_VAL_RND_EXC (Rnd r)
 Exclude random element.
SetValBranch Gecode::SET_VAL (SetBranchVal v, SetBranchCommit c=nullptr)
 Select value as defined by the value function v and commit function c.

Function Documentation

SetValBranch Gecode::SET_VAL_MIN_INC ( void   )  [inline]

Include smallest element.

SetValBranch Gecode::SET_VAL_MIN_EXC ( void   )  [inline]

Exclude smallest element.

SetValBranch Gecode::SET_VAL_MED_INC ( void   )  [inline]

Include median element (rounding downwards).

SetValBranch Gecode::SET_VAL_MED_EXC ( void   )  [inline]

Exclude median element (rounding downwards).

SetValBranch Gecode::SET_VAL_MAX_INC ( void   )  [inline]

Include largest element.

SetValBranch Gecode::SET_VAL_MAX_EXC ( void   )  [inline]

Exclude largest element.

SetValBranch Gecode::SET_VAL_RND_INC ( Rnd  r  )  [inline]

Include random element.

SetValBranch Gecode::SET_VAL_RND_EXC ( Rnd  r  )  [inline]

Exclude random element.

SetValBranch Gecode::SET_VAL ( SetBranchVal  v,
SetBranchCommit  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 value n must be included in the set variable x for the first alternative, and that n must be excluded from x otherwise.