40 namespace Gecode {
namespace Float {
namespace Branch {
51 if (fvb.
tbl() != NULL) {
Select view with largest merit.
With smallest accumulated failure count.
With smallest domain size.
Which variable to select for branching.
BranchTbl tbl(void) const
Return tie-break limit function.
Select the first unassigned view.
Select view with least merit.
Merit class for activity.
With smallest accumulated failure count divided by domain size.
Select view with largest merit taking tie-break limit into account.
Select select(void) const
Return selection strategy.
Merit class for user-defined merit function.
With smallest degree divided by domain size.
ViewSel< FloatView > * viewsel(Space &home, const FloatVarBranch &fvb)
Return view selectors for float views.
With largest accumulated failure count.
Select view with least merit taking tie-break limit into account.
Exception: Unknown value or variable selection passed as argument
Random (uniform, for tie breaking)
With smallest activity divided by domain size.
With largest domain size.
With largest accumulated failure count divided by domain size.
With largest activity divided by domain size.
Gecode toplevel namespace
With largest degree divided by domain size.
#define GECODE_NEVER
Assert that this command is never executed.