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