FloatNumBranch(* FloatBranchVal)(const Space &home, FloatVar x, int i)
Branch value function type for float variables.
FloatBranchCommit Commit
Type for the branching commit function.
FloatBranchMerit Merit
Type for the branching merit function.
double(* FloatBranchMerit)(const Space &home, FloatVar x, int i)
Branch merit function type for float variables.
bool(* FloatBranchFilter)(const Space &home, FloatVar x, int i)
Branch filter function type for float variables.
FloatNumBranch ValType
Return type of the branching value function.
Value description class for branching.
FloatBranchFilter Filter
Type for the branching filter function.
Gecode toplevel namespace
FloatBranchVal Val
Type for the branching value function.
void(* FloatBranchCommit)(Space &home, unsigned int a, FloatVar x, int i, FloatNumBranch nl)
Branch commit function type for float variables.