struct Gecode::@603::NNF::@65::@67 a
For atomic nodes.
Home class for posting propagators
Recording AFC information for set variables.
Recording actions for set variables.
Recording CHB for set variables.
Which variable to select for branching.
Expand and CHB void expand(Home home, const SetVarArgs &x)
@ 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_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.
Initialize with strategy SEL_NONE SetVarBranch(void)
Which variable to select Select s
Return selection strategy Select select(void) const
Variable branching information.
std::function< double(const Space &home, double w, double b)> BranchTbl
Tie-break limit function.
std::function< double(const Space &home, SetVar x, int i)> SetBranchMerit
Branch merit function type for set variables.
Gecode toplevel namespace
Select variable with highest merit according to branch merit function a bm SetVarBranch SET_VAR_MERIT_MAX(SetBranchMerit bm, BranchTbl tbl=nullptr)
Select variable with smallest action divided by domain size with decay factor a d SetVarBranch SET_VAR_ACTION_SIZE_MIN(double d=1.0, BranchTbl tbl=nullptr)
Select variable with smallest CHB Q score divided by domain size SetVarBranch SET_VAR_CHB_SIZE_MIN(BranchTbl tbl=nullptr)
Select variable with largest action divided by domain size with decay factor a d SetVarBranch SET_VAR_ACTION_SIZE_MAX(double d=1.0, BranchTbl tbl=nullptr)
Post propagator for SetVar SetOpType SetVar SetRelType r
Select first unassigned variable SetVarBranch SET_VAR_NONE(void)
Select variable with largest degree divided by domain size SetVarBranch SET_VAR_DEGREE_SIZE_MAX(BranchTbl tbl=nullptr)
Select variable with lowest CHB Q score SetVarBranch SET_VAR_CHB_MIN(BranchTbl tbl=nullptr)
Select variable with largest minimum unknown element SetVarBranch SET_VAR_MIN_MAX(BranchTbl tbl=nullptr)
Select variable with highest CHB Q score SetVarBranch SET_VAR_CHB_MAX(BranchTbl tbl=nullptr)
Select variable with smallest unknown set SetVarBranch SET_VAR_SIZE_MIN(BranchTbl tbl=nullptr)
SetVarBranch SET_VAR_RND(Rnd r)
Select variable with largest maximum unknown element SetVarBranch SET_VAR_MAX_MAX(BranchTbl tbl=nullptr)
Select variable with largest accumulated failure count with decay factor a d SetVarBranch SET_VAR_AFC_MAX(double d=1.0, BranchTbl tbl=nullptr)
Select variable with smallest minimum unknown element SetVarBranch SET_VAR_MIN_MIN(BranchTbl tbl=nullptr)
Select variable with largest CHB Q score divided by domain size SetVarBranch SET_VAR_CHB_SIZE_MAX(BranchTbl tbl=nullptr)
Select variable with smallest degree SetVarBranch SET_VAR_DEGREE_MIN(BranchTbl tbl=nullptr)
Select variable with smallest accumulated failure count with decay factor a d SetVarBranch SET_VAR_AFC_MIN(double d=1.0, BranchTbl tbl=nullptr)
Select variable with smallest maximum unknown element SetVarBranch SET_VAR_MAX_MIN(BranchTbl tbl=nullptr)
Select variable with largest degree SetVarBranch SET_VAR_DEGREE_MAX(BranchTbl tbl=nullptr)
Select variable with smallest accumulated failure count divided by domain size with decay factor a d SetVarBranch SET_VAR_AFC_SIZE_MIN(double d=1.0, BranchTbl tbl=nullptr)
Select variable with largest accumulated failure count divided by domain size with decay factor a d SetVarBranch SET_VAR_AFC_SIZE_MAX(double d=1.0, BranchTbl tbl=nullptr)
Select variable with lowest action with decay factor a d SetVarBranch SET_VAR_ACTION_MIN(double d=1.0, BranchTbl tbl=nullptr)
Select variable with least merit according to branch merit function a bm SetVarBranch SET_VAR_MERIT_MIN(SetBranchMerit bm, BranchTbl tbl=nullptr)
Post propagator for SetVar x
Select variable with smallest degree divided by domain size SetVarBranch SET_VAR_DEGREE_SIZE_MIN(BranchTbl tbl=nullptr)
Select variable with largest unknown set SetVarBranch SET_VAR_SIZE_MAX(BranchTbl tbl=nullptr)
Select variable with highest action with decay factor a d SetVarBranch SET_VAR_ACTION_MAX(double d=1.0, BranchTbl tbl=nullptr)