Boolean integer variables.
BoolBranchFilter Filter
Type for the branching filter function.
int ValType
Return type of the branching value 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.
IntBranchVal Val
Type for the branching value function.
IntBranchCommit Commit
Type for the branching commit function.
IntBranchFilter Filter
Type for the branching filter function.
IntBranchMerit Merit
Type for the branching merit function.
int ValType
Return type of 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