SetBranchMerit Merit
Type for the branching merit function.
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.
double(* SetBranchMerit)(const Space &home, SetVar x, int i)
Branch merit function type for set variables.
SetBranchVal Val
Type for the branching value function.
bool(* SetBranchFilter)(const Space &home, SetVar x, int i)
Branch filter function type for set variables.
SetBranchCommit Commit
Type for the branching commit function.
int ValType
Return type of the branching value function.
Gecode toplevel namespace
SetBranchFilter Filter
Type for the branching filter function.