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