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