SetBranchVal Val
Type for the branching value function.
int ValType
Return type of the branching value function.
SetBranchMerit Merit
Type for the branching merit function.
SetBranchFilter Filter
Type for the branching filter function.
SetBranchCommit Commit
Type for the branching commit function.
std::function< bool(const Space &home, SetVar x, int i)> SetBranchFilter
Branch filter function type for set variables.
std::function< double(const Space &home, SetVar x, int i)> SetBranchMerit
Branch merit function type for set variables.
std::function< int(const Space &home, SetVar x, int i)> SetBranchVal
Branch value function type for set variables.
std::function< void(Space &home, unsigned int a, SetVar x, int i, int n)> SetBranchCommit
Branch commit function type for set variables.
Gecode toplevel namespace