IntVarBranch INT_VAR_SIZE_MAX(BranchTbl tbl)
Select variable with largest domain size.
IntVarBranch INT_VAR_ACTION_MAX(double d, BranchTbl tbl)
Select variable with highest action with decay factor d.
@ SEL_CHB_SIZE_MIN
With smallest CHB Q-score divided by domain size.
Post propagator for SetVar x
IntVarBranch INT_VAR_DEGREE_SIZE_MIN(BranchTbl tbl)
Select variable with smallest degree divided by domain size.
IntVarBranch INT_VAR_RND(Rnd r)
Select random variable (uniform distribution, for tie breaking)
@ SEL_CHB_MAX
With highest CHB Q-score.
@ SEL_ACTION_MAX
With highest action.
@ SEL_SIZE_MAX
With largest domain size.
IntVarBranch INT_VAR_NONE(void)
Select first unassigned variable.
@ SEL_MERIT_MIN
With least merit.
double decay(void) const
Return decay factor.
Select select(void) const
Return selection strategy.
IntVarBranch INT_VAR_MIN_MIN(BranchTbl tbl)
Select variable with smallest min.
Passing integer variables.
IntVarBranch INT_VAR_REGRET_MIN_MIN(BranchTbl tbl)
Select variable with smallest min-regret.
IntVarBranch INT_VAR_CHB_MIN(IntCHB c, BranchTbl tbl)
Select variable with lowest CHB Q-score.
Recording actions for Boolean variables.
@ SEL_CHB_SIZE_MAX
With largest CHB Q-score divided by domain size.
IntVarBranch INT_VAR_REGRET_MAX_MIN(BranchTbl tbl)
Select variable with smallest max-regret.
IntVarBranch(void)
Initialize with strategy SEL_NONE.
@ SEL_ACTION_MAX
With highest action.
IntVarBranch INT_VAR_MAX_MIN(BranchTbl tbl)
Select variable with smallest max.
@ SEL_DEGREE_MAX
With largest degree.
Action _act
Action information.
BoolVarBranch BOOL_VAR_ACTION_MAX(double d, BranchTbl tbl)
Select variable with highest action with decay factor d.
@ SEL_AFC_MIN
With smallest accumulated failure count.
@ SEL_REGRET_MAX_MIN
With smallest max-regret.
BoolVarBranch BOOL_VAR_MERIT_MAX(BoolBranchMerit bm, BranchTbl tbl)
Select variable with highest merit according to branch merit function bm.
Which integer variable to select for branching.
@ SEL_AFC_MIN
With smallest accumulated failure count.
Recording AFC information for integer variables.
@ SEL_MAX_MAX
With largest max.
@ SEL_AFC_MAX
With largest accumulated failure count.
@ SEL_DEGREE_MIN
With smallest degree.
@ SEL_MAX_MIN
With smallest max.
Select s
Which variable to select.
IntVarBranch INT_VAR_CHB_SIZE_MAX(IntCHB c, BranchTbl tbl)
Select variable with largest CHB Q-score divided by domain size.
std::function< double(const Space &home, BoolVar x, int i)> BoolBranchMerit
Branch merit function type for Boolean variables.
@ SEL_ACTION_MIN
With lowest action.
BoolVarBranch BOOL_VAR_MERIT_MIN(BoolBranchMerit bm, BranchTbl tbl)
Select variable with least merit according to branch merit function bm.
Recording CHB for integer variables.
Variable branching information.
Gecode toplevel namespace
double tbl(const Gecode::Space &, double w, double b)
Test function for tie-break limit function.
@ SEL_AFC_MAX
With largest accumulated failure count.
std::function< double(const Space &home, IntVar x, int i)> IntBranchMerit
Branch merit function type for integer variables.
Select s
Which variable to select.
Recording AFC information for Boolean variables.
@ SEL_CHB_MAX
With highest CHB.
Which Boolean variable to select for branching.
Passing Boolean variables.
IntVarBranch INT_VAR_MIN_MAX(BranchTbl tbl)
Select variable with largest min.
Home class for posting propagators
IntVarBranch INT_VAR_AFC_SIZE_MIN(double d, BranchTbl tbl)
Select variable with smallest accumulated failure count divided by domain size with decay factor d.
IntVarBranch INT_VAR_MERIT_MIN(IntBranchMerit bm, BranchTbl tbl)
Select variable with least merit according to branch merit function bm.
BoolVarBranch BOOL_VAR_DEGREE_MAX(BranchTbl tbl)
Select variable with largest degree.
IntVarBranch INT_VAR_REGRET_MIN_MAX(BranchTbl tbl)
Select variable with largest min-regret.
@ SEL_REGRET_MIN_MAX
With largest min-regret.
Post propagator for SetVar SetOpType SetVar SetRelType r
Boolean integer variables.
@ SEL_REGRET_MAX_MAX
With largest max-regret.
IntVarBranch INT_VAR_CHB_SIZE_MIN(IntCHB c, BranchTbl tbl)
Select variable with smallest CHB Q-score divided by domain size.
IntVarBranch INT_VAR_DEGREE_MAX(BranchTbl tbl)
Select variable with largest degree.
@ SEL_AFC_SIZE_MIN
With smallest accumulated failure count divided by domain size.
@ SEL_DEGREE_SIZE_MIN
With smallest degree divided by domain size.
@ SEL_AFC_SIZE_MAX
With largest accumulated failure count divided by domain size.
IntVarBranch INT_VAR_DEGREE_SIZE_MAX(BranchTbl tbl)
Select variable with largest degree divided by domain size.
BoolVarBranch BOOL_VAR_AFC_MIN(double d, BranchTbl tbl)
Select variable with smallest accumulated failure count with decay factor d.
@ SEL_NONE
First unassigned.
Select select(void) const
Return selection strategy.
Select
Which variable selection.
struct Gecode::@602::NNF::@65::@67 a
For atomic nodes.
@ SEL_DEGREE_MIN
With smallest degree.
Select
Which variable selection.
@ SEL_MERIT_MAX
With highest merit.
BoolVarBranch BOOL_VAR_AFC_MAX(double d, BranchTbl tbl)
Select variable with largest accumulated failure count with decay factor d.
Recording actions for integer variables.
IntVarBranch INT_VAR_ACTION_SIZE_MIN(double d, BranchTbl tbl)
Select variable with smallest action divided by domain size with decay factor d.
void expand(Home home, const IntVarArgs &x)
Expand AFC, action, and CHB.
@ SEL_MERIT_MAX
With highest merit.
@ SEL_MERIT_MIN
With least merit.
IntVarBranch INT_VAR_SIZE_MIN(BranchTbl tbl)
Select variable with smallest domain size.
BoolVarBranch BOOL_VAR_CHB_MIN(BoolCHB c, BranchTbl tbl)
Select variable with lowest CHB Q-score.
Recording CHB for Boolean variables.
void expand(Home home, const BoolVarArgs &x)
Expand decay factor into AFC or action.
@ SEL_CHB_MIN
With lowest CHB.
@ SEL_MIN_MIN
With smallest min.
IntVarBranch INT_VAR_CHB_MAX(IntCHB c, BranchTbl tbl)
Select variable with largest CHB Q-score.
IntVarBranch INT_VAR_MAX_MAX(BranchTbl tbl)
Select variable with largest max.
@ SEL_ACTION_MIN
With lowest action.
@ SEL_ACTION_SIZE_MAX
With largest action divided by domain size.
IntVarBranch INT_VAR_AFC_MIN(double d, BranchTbl tbl)
Select variable with smallest accumulated failure count with decay factor d.
IntVarBranch INT_VAR_DEGREE_MIN(BranchTbl tbl)
Select variable with smallest degree.
BoolVarBranch BOOL_VAR_ACTION_MIN(double d, BranchTbl tbl)
Select variable with lowest action with decay factor d.
@ SEL_DEGREE_SIZE_MAX
With largest degree divided by domain size.
BoolVarBranch BOOL_VAR_CHB_MAX(BoolCHB c, BranchTbl tbl)
Select variable with largest CHB Q-score.
IntVarBranch INT_VAR_ACTION_SIZE_MAX(double d, BranchTbl tbl)
Select variable with largest action divided by domain size with decay factor d.
std::function< double(const Space &home, double w, double b)> BranchTbl
Tie-break limit function.
IntVarBranch INT_VAR_AFC_SIZE_MAX(double d, BranchTbl tbl)
Select variable with largest accumulated failure count divided by domain size with decay factor d.
Gecode::FloatVal c(-8, 8)
BoolVarBranch BOOL_VAR_DEGREE_MIN(BranchTbl tbl)
Select variable with smallest degree.
@ SEL_ACTION_SIZE_MIN
With smallest action divided by domain size.
@ SEL_NONE
First unassigned.
@ SEL_SIZE_MIN
With smallest domain size.
BoolVarBranch(void)
Initialize with strategy SEL_NONE.
IntVarBranch INT_VAR_MERIT_MAX(IntBranchMerit bm, BranchTbl tbl)
Select variable with highest merit according to branch merit function bm.
IntVarBranch INT_VAR_REGRET_MAX_MAX(BranchTbl tbl)
Select variable with largest max-regret.
BoolVarBranch BOOL_VAR_NONE(void)
Select first unassigned variable.
@ SEL_CHB_MIN
With lowest CHB Q-score.
BoolVarBranch BOOL_VAR_RND(Rnd r)
Select random variable (uniform distribution, for tie breaking)
@ SEL_MIN_MAX
With largest min.
IntVarBranch INT_VAR_AFC_MAX(double d, BranchTbl tbl)
Select variable with largest accumulated failure count with decay factor d.
IntVarBranch INT_VAR_ACTION_MIN(double d, BranchTbl tbl)
Select variable with lowest action with decay factor d.
@ SEL_REGRET_MIN_MIN
With smallest min-regret.
@ SEL_DEGREE_MAX
With largest degree.