100 return SetAssign(function_cast<VoidFunction>(v),
101 function_cast<VoidFunction>(c));
Select
Which value selection.
SetAssign SET_ASSIGN_MIN_EXC(void)
Exclude smallest element.
Include smallest element.
Include median element (rounding downwards)
SetAssign SET_ASSIGN(SetBranchVal v, SetBranchCommit c)
Select value as defined by the value function v and commit function c.
SetAssign SET_ASSIGN_MAX_INC(void)
Include largest element.
Exclude median element (rounding downwards)
SetAssign SET_ASSIGN_RND_EXC(Rnd r)
Exclude random element.
Gecode::FloatVal c(-8, 8)
SetAssign SET_ASSIGN_MAX_EXC(void)
Exclude largest element.
int(* SetBranchVal)(const Space &home, SetVar x, int i)
Branch value function type for set variables.
Exclude smallest element.
void(* SetBranchCommit)(Space &home, unsigned int a, SetVar x, int i, int n)
Branch commit function type for set variables.
void(* VoidFunction)(void)
Base type for any function pointer.
SetAssign SET_ASSIGN_MIN_INC(void)
Include smallest element.
SetAssign SET_ASSIGN_MED_INC(void)
Include median element (rounding downwards)
Value branching information.
SetAssign SET_ASSIGN_MED_EXC(void)
Exclude median element (rounding downwards)
Which value to select for assignment.
Gecode toplevel namespace
SetAssign SET_ASSIGN_RND_INC(Rnd r)
Include random element.
Select select(void) const
Return selection strategy.
Select s
Which value to select.
SetAssign(Select s=SEL_MIN_INC)
Initialize with selection strategy s.