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