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