36namespace Gecode {
namespace Int {
namespace Branch {
47 if (ivb.
tbl() != NULL) {
183 if (bvb.
tbl() != NULL) {
Which Boolean variable to select for branching.
Select select(void) const
Return selection strategy.
@ SEL_DEGREE_MIN
With smallest degree.
@ SEL_AFC_MAX
With largest accumulated failure count.
@ SEL_CHB_MIN
With lowest CHB.
@ SEL_MERIT_MIN
With least merit.
@ SEL_ACTION_MIN
With lowest action.
@ SEL_AFC_MIN
With smallest accumulated failure count.
@ SEL_RND
Random (uniform, for tie breaking)
@ SEL_NONE
First unassigned.
@ SEL_ACTION_MAX
With highest action.
@ SEL_CHB_MAX
With highest CHB.
@ SEL_MERIT_MAX
With highest merit.
@ SEL_DEGREE_MAX
With largest degree.
Which integer variable to select for branching.
@ SEL_MAX_MIN
With smallest max.
@ SEL_CHB_MAX
With highest CHB Q-score.
@ SEL_AFC_SIZE_MAX
With largest accumulated failure count divided by domain size.
@ SEL_MIN_MIN
With smallest min.
@ SEL_ACTION_SIZE_MAX
With largest action divided by domain size.
@ SEL_AFC_SIZE_MIN
With smallest accumulated failure count divided by domain size.
@ SEL_REGRET_MIN_MIN
With smallest min-regret.
@ SEL_DEGREE_SIZE_MIN
With smallest degree divided by domain size.
@ SEL_MIN_MAX
With largest min.
@ SEL_REGRET_MIN_MAX
With largest min-regret.
@ SEL_CHB_SIZE_MAX
With largest CHB Q-score divided by domain size.
@ SEL_MAX_MAX
With largest max.
@ SEL_AFC_MIN
With smallest accumulated failure count.
@ SEL_SIZE_MIN
With smallest domain size.
@ SEL_AFC_MAX
With largest accumulated failure count.
@ SEL_MERIT_MAX
With highest merit.
@ SEL_DEGREE_MAX
With largest degree.
@ SEL_SIZE_MAX
With largest domain size.
@ SEL_ACTION_MIN
With lowest action.
@ SEL_ACTION_MAX
With highest action.
@ SEL_CHB_MIN
With lowest CHB Q-score.
@ SEL_RND
Random (uniform, for tie breaking)
@ SEL_NONE
First unassigned.
@ SEL_MERIT_MIN
With least merit.
@ SEL_REGRET_MAX_MIN
With smallest max-regret.
@ SEL_CHB_SIZE_MIN
With smallest CHB Q-score divided by domain size.
@ SEL_DEGREE_MIN
With smallest degree.
@ SEL_REGRET_MAX_MAX
With largest max-regret.
@ SEL_ACTION_SIZE_MIN
With smallest action divided by domain size.
@ SEL_DEGREE_SIZE_MAX
With largest degree divided by domain size.
Select select(void) const
Return selection strategy.
Merit class for AFC over size.
Merit class for action over size.
Merit class for CHB over size.
Merit class for degree over size.
Merit class for mimimum of integer views.
Merit class for maximum regret.
Merit class for minimum regret.
Exception: Unknown value or variable selection passed as argument
Merit class for user-defined merit function.
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.
Abstract class for view selection.
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.