101 function_cast<VoidFunction>(c));
Which values to select for branching first.
SetValBranch(Select s=SEL_MIN_INC)
Initialize with selection strategy s.
SetValBranch SET_VAL_MED_INC(void)
Include median element (rounding downwards)
Select
Which value selection.
SetValBranch SET_VAL_MIN_INC(void)
Include smallest element.
Select select(void) const
Return selection strategy.
SetValBranch SET_VAL_RND_EXC(Rnd r)
Exclude random element.
Include smallest element.
Exclude median element (rounding downwards)
Gecode::FloatVal c(-8, 8)
int(* SetBranchVal)(const Space &home, SetVar x, int i)
Branch value function type for set variables.
void(* SetBranchCommit)(Space &home, unsigned int a, SetVar x, int i, int n)
Branch commit function type for set variables.
SetValBranch SET_VAL_MAX_EXC(void)
Exclude largest element.
SetValBranch SET_VAL_MAX_INC(void)
Include largest element.
void(* VoidFunction)(void)
Base type for any function pointer.
Select s
Which value to select.
SetValBranch SET_VAL_MIN_EXC(void)
Exclude smallest element.
Include median element (rounding downwards)
Exclude smallest element.
Value branching information.
SetValBranch SET_VAL_MED_EXC(void)
Exclude median element (rounding downwards)
Gecode toplevel namespace
SetValBranch SET_VAL_RND_INC(Rnd r)
Include random element.
SetValBranch SET_VAL(SetBranchVal v, SetBranchCommit c)
Select value as defined by the value function v and commit function c.