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< int(const Space &home, IntVar x, int i) IntBranchVal)
Branch value function type for integer variables.
std::function< double(const Space &home, BoolVar x, int i) BoolBranchMerit)
Branch merit function type for Boolean 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< int(const Space &home, BoolVar x, int i) BoolBranchVal)
Branch value function type for Boolean variables.
std::function< bool(const Space &home, BoolVar x, int i) BoolBranchFilter)
Branch filter 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