std::function< void(Space &home, unsigned int a, IntVar x, int i, int n)> IntBranchCommit
Branch commit function type for integer variables.
std::function< double(const Space &home, BoolVar x, int i)> BoolBranchMerit
Branch merit function type for Boolean variables.
BoolBranchVal Val
Type for the branching value function.
int ValType
Return type of the branching value function.
BoolBranchMerit Merit
Type for the branching merit function.
int ValType
Return type of the branching value function.
std::function< int(const Space &home, IntVar x, int i)> IntBranchVal
Branch value function type for integer variables.
IntBranchFilter Filter
Type for the branching filter function.
BoolBranchCommit Commit
Type for the branching commit function.
std::function< bool(const Space &home, IntVar x, int i)> IntBranchFilter
Branch filter function type for integer variables.
std::function< int(const Space &home, BoolVar x, int i)> BoolBranchVal
Branch value function type for Boolean variables.
Boolean integer variables.
IntBranchVal Val
Type for the branching value function.
std::function< bool(const Space &home, BoolVar x, int i)> BoolBranchFilter
Branch filter function type for Boolean variables.
BoolBranchFilter Filter
Type for the branching filter function.
IntBranchMerit Merit
Type for the branching merit function.
IntBranchCommit Commit
Type for the branching commit function.
Gecode toplevel namespace
std::function< double(const Space &home, IntVar x, int i)> IntBranchMerit
Branch merit function type for integer variables.
std::function< void(Space &home, unsigned int a, BoolVar x, int i, int n)> BoolBranchCommit
Branch commit function type for Boolean variables.