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