80 return IntAssign(function_cast<VoidFunction>(v),
81 function_cast<VoidFunction>(c));
86 return IntAssign(function_cast<VoidFunction>(v),
87 function_cast<VoidFunction>(c));
int(* BoolBranchVal)(const Space &home, BoolVar x, int i)
Branch value function type for Boolean variables.
IntAssign INT_ASSIGN_MED(void)
Select greatest value not greater than the median.
Select select(void) const
Return selection strategy.
IntAssign(Select s=SEL_MIN)
Initialize with selection strategy s.
Select s
Which value to select.
int(* IntBranchVal)(const Space &home, IntVar x, int i)
Branch value function type for integer variables.
IntAssign INT_ASSIGN_MIN(void)
Select smallest value.
Gecode::FloatVal c(-8, 8)
Select greatest value not greater than the median.
IntAssign INT_ASSIGN_RND(Rnd r)
Select random value.
void(* IntBranchCommit)(Space &home, unsigned int a, IntVar x, int i, int n)
Branch commit function type for integer variables.
IntAssign INT_ASSIGN_MAX(void)
Select largest value.
void(* BoolBranchCommit)(Space &home, unsigned int a, BoolVar x, int i, int n)
Branch commit function type for Boolean variables.
void(* VoidFunction)(void)
Base type for any function pointer.
Select
Which value selection.
Value branching information.
IntAssign INT_ASSIGN(IntBranchVal v, IntBranchCommit c)
Select value as defined by the value function v and commit function c.
Which values to select for assignment.
Gecode toplevel namespace