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)
With smallest accumulated failure count.
SetVarBranch SET_VAR_CHB_SIZE_MAX(BranchTbl tbl)
With largest minimum unknown element.
double decay(void) const
Return decay factor.
With largest degree divided by domain size.
With largest unknown set.
With largest action divided by domain size.
SetVarBranch SET_VAR_CHB_MAX(BranchTbl tbl)
SetVarBranch SET_VAR_DEGREE_SIZE_MAX(BranchTbl tbl)
With largest CHB Q-score divided by domain size.
With largest maximum unknown element.
Action _act
Action information.
SetVarBranch SET_VAR_MIN_MIN(BranchTbl tbl)
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.
With smallest minimum unknown element.
With largest accumulated failure count divided by domain size.
struct Gecode::@602::NNF::@65::@67 a
For atomic nodes.
Which variable to select Select s
Home class for posting propagators
Initialize with strategy SEL_NONE SetVarBranch(void)
Post propagator for SetVar SetOpType SetVar SetRelType r
SetVarBranch SET_VAR_ACTION_MAX(double d, BranchTbl tbl)
With highest CHB Q-score.
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.
With smallest maximum unknown element.
SetVarBranch SET_VAR_MAX_MIN(BranchTbl tbl)
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
With smallest degree divided by domain size.
SetVarBranch SET_VAR_ACTION_SIZE_MIN(double d, BranchTbl tbl)
SetVarBranch SET_VAR_MERIT_MAX(SetBranchMerit bm, BranchTbl tbl)
With largest accumulated failure count.
With smallest action divided by domain size.
Which variable to select for branching.