40 namespace Gecode {
namespace Int {
namespace Branch {
51 if (ivb.
tbl() != NULL) {
171 if (ivb.
tbl() != NULL) {
Select view with largest merit.
With smallest max-regret.
With smallest degree divided by domain size.
Which variable to select for branching.
With smallest min-regret.
Abstract class for view selection.
Merit class for size over degree.
Merit class for size over activity.
ViewSel< IntView > * viewselint(Space &home, const IntVarBranch &ivb)
Return view selectors for integer views.
BranchTbl tbl(void) const
Return tie-break limit function.
Select select(void) const
Return selection strategy.
Select the first unassigned view.
Select view with least merit.
Merit class for activity.
With largest accumulated failure count.
Exception: Unknown value or variable selection passed as argument
With smallest accumulated failure count.
Select view with largest merit taking tie-break limit into account.
Merit class for user-defined merit function.
With largest domain size.
Merit class for mimimum of integer views.
ViewSel< BoolView > * viewselbool(Space &home, const IntVarBranch &ivb)
Return view selectors for Boolean views.
Select view with least merit taking tie-break limit into account.
Merit class for minimum regret.
With smallest domain size.
Merit class for size over afc.
With largest degree divided by domain size.
Random (uniform, for tie breaking)
With largest activity divided by domain size.
Merit class for maximum regret.
Gecode toplevel namespace
With largest accumulated failure count divided by domain size.
With smallest activity divided by domain size.
#define GECODE_NEVER
Assert that this command is never executed.
With smallest accumulated failure count divided by domain size.