@ SEL_CHB_SIZE_MIN
With smallest CHB Q-score divided by domain size.
Post propagator for SetVar x
SetVarBranch SET_VAR_ACTION_MIN(double d, BranchTbl tbl)
SetVarBranch SET_VAR_MERIT_MIN(SetBranchMerit bm, BranchTbl tbl)
@ SEL_AFC_MIN
With smallest accumulated failure count.
SetVarBranch SET_VAR_CHB_SIZE_MAX(BranchTbl tbl)
@ SEL_MIN_MAX
With largest minimum unknown element.
double decay(void) const
Return decay factor.
@ SEL_DEGREE_SIZE_MAX
With largest degree divided by domain size.
@ SEL_SIZE_MAX
With largest unknown set.
@ SEL_ACTION_SIZE_MAX
With largest action divided by domain size.
SetVarBranch SET_VAR_CHB_MAX(BranchTbl tbl)
SetVarBranch SET_VAR_DEGREE_SIZE_MAX(BranchTbl tbl)
@ SEL_CHB_SIZE_MAX
With largest CHB Q-score divided by domain size.
@ SEL_MAX_MAX
With largest maximum unknown element.
Action _act
Action information.
SetVarBranch SET_VAR_MIN_MIN(BranchTbl tbl)
@ SEL_NONE
First unassigned.
SetVarBranch SET_VAR_NONE(void)
SetVarBranch SET_VAR_AFC_SIZE_MAX(double d, BranchTbl tbl)
SetVarBranch SET_VAR_CHB_MIN(BranchTbl tbl)
SetVarBranch SET_VAR_AFC_SIZE_MIN(double d, BranchTbl tbl)
SetVarBranch SET_VAR_AFC_MIN(double d, BranchTbl tbl)
SetVarBranch SET_VAR_AFC_MAX(double d, BranchTbl tbl)
SetVarBranch SET_VAR_DEGREE_MIN(BranchTbl tbl)
Recording CHB for set variables.
Recording AFC information for set variables.
Variable branching information.
Gecode toplevel namespace
double tbl(const Gecode::Space &, double w, double b)
Test function for tie-break limit function.
SetVarBranch SET_VAR_MIN_MAX(BranchTbl tbl)
std::function< double(const Space &home, SetVar x, int i)> SetBranchMerit
Branch merit function type for set variables.
@ SEL_MIN_MIN
With smallest minimum unknown element.
@ SEL_AFC_SIZE_MAX
With largest accumulated failure count divided by domain size.
@ SEL_MERIT_MIN
With least merit.
Which variable to select Select s
Home class for posting propagators
Initialize with strategy SEL_NONE SetVarBranch(void)
@ SEL_DEGREE_MAX
With largest degree.
Post propagator for SetVar SetOpType SetVar SetRelType r
@ SEL_ACTION_MAX
With highest action.
@ SEL_DEGREE_MIN
With smallest degree.
@ SEL_ACTION_MIN
With lowest action.
SetVarBranch SET_VAR_ACTION_MAX(double d, BranchTbl tbl)
@ SEL_MERIT_MAX
With highest merit.
@ SEL_CHB_MAX
With highest CHB Q-score.
struct Gecode::@602::NNF::@65::@67 a
For atomic nodes.
@ SEL_SIZE_MIN
With smallest unknown set.
SetVarBranch SET_VAR_SIZE_MAX(BranchTbl tbl)
SetVarBranch SET_VAR_DEGREE_MAX(BranchTbl tbl)
SetVarBranch SET_VAR_RND(Rnd r)
SetVarBranch SET_VAR_ACTION_SIZE_MAX(double d, BranchTbl tbl)
Recording actions for set variables.
@ SEL_MAX_MIN
With smallest maximum unknown element.
SetVarBranch SET_VAR_MAX_MIN(BranchTbl tbl)
@ SEL_AFC_SIZE_MIN
With smallest accumulated failure count divided by domain size.
SetVarBranch SET_VAR_MAX_MAX(BranchTbl tbl)
SetVarBranch SET_VAR_CHB_SIZE_MIN(BranchTbl tbl)
SetVarBranch SET_VAR_DEGREE_SIZE_MIN(BranchTbl tbl)
SetVarBranch SET_VAR_SIZE_MIN(BranchTbl tbl)
std::function< double(const Space &home, double w, double b)> BranchTbl
Tie-break limit function.
Expand and CHB void expand(Home home, const SetVarArgs &x)
Gecode::FloatVal c(-8, 8)
Return selection strategy Select select(void) const
@ SEL_DEGREE_SIZE_MIN
With smallest degree divided by domain size.
@ SEL_CHB_MIN
With lowest CHB Q-score.
SetVarBranch SET_VAR_ACTION_SIZE_MIN(double d, BranchTbl tbl)
SetVarBranch SET_VAR_MERIT_MAX(SetBranchMerit bm, BranchTbl tbl)
@ SEL_AFC_MAX
With largest accumulated failure count.
@ SEL_ACTION_SIZE_MIN
With smallest action divided by domain size.
Which variable to select for branching.