36namespace Gecode {
namespace Set {
namespace Branch {
47 if (svb.
tbl() != NULL) {
Exception: Unknown value or variable selection passed as argument
Merit class for user-defined merit function.
Which variable to select for branching.
@ SEL_ACTION_SIZE_MIN
With smallest action divided by domain size.
@ SEL_CHB_MIN
With lowest CHB Q-score.
@ SEL_CHB_MAX
With highest CHB Q-score.
@ SEL_MERIT_MIN
With least merit.
@ SEL_DEGREE_SIZE_MAX
With largest degree divided by domain size.
@ SEL_AFC_SIZE_MIN
With smallest accumulated failure count divided by domain size.
@ SEL_AFC_MIN
With smallest accumulated failure count.
@ SEL_CHB_SIZE_MAX
With largest CHB Q-score divided by domain size.
@ SEL_NONE
First unassigned.
@ SEL_ACTION_SIZE_MAX
With largest action divided by domain size.
@ SEL_DEGREE_MAX
With largest degree.
@ SEL_AFC_MAX
With largest accumulated failure count.
@ SEL_CHB_SIZE_MIN
With smallest CHB Q-score divided by domain size.
@ SEL_MERIT_MAX
With highest merit.
@ SEL_SIZE_MIN
With smallest unknown set.
@ SEL_RND
Random (uniform, for tie breaking)
@ SEL_ACTION_MAX
With highest action.
@ SEL_AFC_SIZE_MAX
With largest accumulated failure count divided by domain size.
@ SEL_ACTION_MIN
With lowest action.
@ SEL_MIN_MAX
With largest minimum unknown element.
@ SEL_MAX_MAX
With largest maximum unknown element.
@ SEL_MAX_MIN
With smallest maximum unknown element.
@ SEL_DEGREE_SIZE_MIN
With smallest degree divided by domain size.
@ SEL_MIN_MIN
With smallest minimum unknown element.
@ SEL_DEGREE_MIN
With smallest degree.
@ SEL_SIZE_MAX
With largest unknown set.
Return selection strategy Select select(void) const
BranchTbl tbl(void) const
Return tie-break limit function.
Select view with largest merit taking tie-break limit into account.
Select view with largest merit.
Select view with least merit taking tie-break limit into account.
Select view with least merit.
Select the first unassigned view.
ViewSel< IntView > * viewsel(Space &home, const IntVarBranch &ivb)
Return view selectors for integer views.
Gecode toplevel namespace
#define GECODE_NEVER
Assert that this command is never executed.