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