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