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