Initialize with strategy SEL_NONE SetVarBranch(void)
Recording actions for set variables.
SetVarBranch SET_VAR_CHB_SIZE_MIN(BranchTbl tbl)
SetVarBranch SET_VAR_SIZE_MIN(BranchTbl tbl)
Initialize with selection strategy a CHB a c
With largest maximum unknown element.
With largest minimum unknown element.
With largest action divided by domain size.
SetVarBranch SET_VAR_MERIT_MAX(SetBranchMerit bm, BranchTbl tbl)
With smallest accumulated failure count divided by domain size.
std::function< double(const Space &home, SetVar x, int i)> SetBranchMerit
Branch merit function type for set variables.
With largest accumulated failure count divided by domain size.
Expand and CHB void expand(Home home, const SetVarArgs &x)
SetVarBranch SET_VAR_DEGREE_SIZE_MAX(BranchTbl tbl)
With smallest CHB Q-score divided by domain size.
With highest CHB Q-score.
With smallest accumulated failure count.
SetVarBranch SET_VAR_MAX_MAX(BranchTbl tbl)
Action _act
Action information.
With largest degree divided by domain size.
SetVarBranch SET_VAR_NONE(void)
With smallest action divided by domain size.
SetVarBranch SET_VAR_DEGREE_SIZE_MIN(BranchTbl tbl)
Which variable to select Select s
With largest unknown set.
SetVarBranch SET_VAR_AFC_MAX(double d, BranchTbl tbl)
SetVarBranch SET_VAR_CHB_SIZE_MAX(BranchTbl tbl)
SetVarBranch SET_VAR_DEGREE_MIN(BranchTbl tbl)
SetVarBranch SET_VAR_DEGREE_MAX(BranchTbl tbl)
With largest CHB Q-score divided by domain size.
double decay(void) const
Return decay factor.
SetVarBranch SET_VAR_CHB_MAX(BranchTbl tbl)
std::function< double(const Space &home, double w, double b)> BranchTbl
Tie-break limit function.
Recording CHB for set variables.
SetVarBranch SET_VAR_AFC_MIN(double d, BranchTbl tbl)
With smallest degree divided by domain size.
SetVarBranch SET_VAR_RND(Rnd r)
Recording AFC information for set variables.
Initialize with selection strategy a branch merit function a mf
SetVarBranch SET_VAR_MERIT_MIN(SetBranchMerit bm, BranchTbl tbl)
SetVarBranch SET_VAR_MIN_MAX(BranchTbl tbl)
Post propagator for SetVar SetOpType SetVar SetRelType r
With smallest maximum unknown element.
SetVarBranch SET_VAR_MAX_MIN(BranchTbl tbl)
SetVarBranch SET_VAR_SIZE_MAX(BranchTbl tbl)
Variable branching information.
SetVarBranch SET_VAR_AFC_SIZE_MIN(double d, BranchTbl tbl)
BranchTbl tbl(void) const
Return tie-break limit function.
Return selection strategy Select select(void) const
Post propagator for SetVar x
Initialize with selection strategy a decay factor a d
Random (uniform, for tie breaking)
Gecode toplevel namespace
SetVarBranch SET_VAR_ACTION_MAX(double d, BranchTbl tbl)
SetVarBranch SET_VAR_MIN_MIN(BranchTbl tbl)
SetVarBranch SET_VAR_CHB_MIN(BranchTbl tbl)
Which variable to select for branching.
SetVarBranch SET_VAR_AFC_SIZE_MAX(double d, BranchTbl tbl)
Home class for posting propagators
With largest accumulated failure count.
SetVarBranch SET_VAR_ACTION_SIZE_MAX(double d, BranchTbl tbl)
SetVarBranch SET_VAR_ACTION_SIZE_MIN(double d, BranchTbl tbl)
Initialize with selection strategy a afc a a
With smallest unknown set.
With smallest minimum unknown element.
SetVarBranch SET_VAR_ACTION_MIN(double d, BranchTbl tbl)