36namespace Gecode {
namespace Float {
namespace Branch {
47 if (fvb.
tbl() != NULL) {
Which variable to select for branching.
Select select(void) const
Return selection strategy.
@ SEL_ACTION_SIZE_MIN
With smallest action divided by domain size.
@ SEL_ACTION_SIZE_MAX
With largest action divided by domain size.
@ SEL_MIN_MIN
With smallest min.
@ SEL_AFC_SIZE_MIN
With smallest accumulated failure count divided by domain size.
@ SEL_MAX_MAX
With largest max.
@ SEL_AFC_SIZE_MAX
With largest accumulated failure count divided by domain size.
@ SEL_CHB_MAX
With highest CHB Q-score.
@ SEL_DEGREE_SIZE_MIN
With smallest degree divided by domain size.
@ SEL_MIN_MAX
With largest min.
@ SEL_CHB_SIZE_MIN
With smallest CHB Q-score divided by domain size.
@ SEL_NONE
First unassigned.
@ SEL_MERIT_MIN
With least merit.
@ SEL_ACTION_MAX
With highest action.
@ SEL_CHB_MIN
With lowest CHB Q-score.
@ SEL_DEGREE_MAX
With largest degree.
@ SEL_DEGREE_SIZE_MAX
With largest degree divided by domain size.
@ SEL_DEGREE_MIN
With smallest degree.
@ SEL_MERIT_MAX
With highest merit.
@ SEL_MAX_MIN
With smallest max.
@ SEL_CHB_SIZE_MAX
With largest CHB Q-score divided by domain size.
@ SEL_RND
Random (uniform, for tie breaking)
@ SEL_AFC_MAX
With largest accumulated failure count.
@ SEL_SIZE_MAX
With largest domain size.
@ SEL_AFC_MIN
With smallest accumulated failure count.
@ SEL_ACTION_MIN
With lowest action.
@ SEL_SIZE_MIN
With smallest domain size.
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.
ViewSel< FloatView > * viewsel(Space &home, const FloatVarBranch &fvb)
Return view selectors for float views.
Gecode toplevel namespace
#define GECODE_NEVER
Assert that this command is never executed.