101 inline FloatVarBranch
106 inline FloatVarBranch
111 inline FloatVarBranch
116 inline FloatVarBranch
121 inline FloatVarBranch
126 inline FloatVarBranch
131 inline FloatVarBranch
136 inline FloatVarBranch
141 inline FloatVarBranch
146 inline FloatVarBranch
151 inline FloatVarBranch
156 inline FloatVarBranch
161 inline FloatVarBranch
166 inline FloatVarBranch
171 inline FloatVarBranch
176 inline FloatVarBranch
181 inline FloatVarBranch
186 inline FloatVarBranch
191 inline FloatVarBranch
196 inline FloatVarBranch
201 inline FloatVarBranch
206 inline FloatVarBranch
211 inline FloatVarBranch
216 inline FloatVarBranch
221 inline FloatVarBranch
226 inline FloatVarBranch
231 inline FloatVarBranch
236 inline FloatVarBranch
241 inline FloatVarBranch
246 inline FloatVarBranch
251 inline FloatVarBranch
256 inline FloatVarBranch
261 inline FloatVarBranch
266 inline FloatVarBranch
271 inline FloatVarBranch
276 inline FloatVarBranch
281 inline FloatVarBranch
struct Gecode::@603::NNF::@65::@67 a
For atomic nodes.
Recording AFC information for float variables.
Recording actions for float variables.
Recording CHB for float variables.
Which variable to select for branching.
Select select(void) const
Return selection strategy.
FloatVarBranch(void)
Initialize with strategy SEL_NONE.
void expand(Home home, const FloatVarArgs &x)
Expand AFC, action, and CHB.
Select
Which variable selection.
@ SEL_ACTION_SIZE_MIN
With smallest action divided by domain size.
@ SEL_ACTION_SIZE_MAX
With largest action divided by domain size.
@ SEL_MIN_MIN
With smallest min.
@ SEL_AFC_SIZE_MIN
With smallest accumulated failure count divided by domain size.
@ SEL_MAX_MAX
With largest max.
@ SEL_AFC_SIZE_MAX
With largest accumulated failure count divided by domain size.
@ SEL_CHB_MAX
With highest CHB Q-score.
@ SEL_DEGREE_SIZE_MIN
With smallest degree divided by domain size.
@ SEL_MIN_MAX
With largest min.
@ SEL_CHB_SIZE_MIN
With smallest CHB Q-score divided by domain size.
@ SEL_NONE
First unassigned.
@ SEL_MERIT_MIN
With least merit.
@ SEL_ACTION_MAX
With highest action.
@ SEL_CHB_MIN
With lowest CHB Q-score.
@ SEL_DEGREE_MAX
With largest degree.
@ SEL_DEGREE_SIZE_MAX
With largest degree divided by domain size.
@ SEL_DEGREE_MIN
With smallest degree.
@ SEL_MERIT_MAX
With highest merit.
@ SEL_MAX_MIN
With smallest max.
@ SEL_CHB_SIZE_MAX
With largest CHB Q-score divided by domain size.
@ SEL_AFC_MAX
With largest accumulated failure count.
@ SEL_SIZE_MAX
With largest domain size.
@ SEL_AFC_MIN
With smallest accumulated failure count.
@ SEL_ACTION_MIN
With lowest action.
@ SEL_SIZE_MIN
With smallest domain size.
Select s
Which variable to select.
Home class for posting propagators
Variable branching information.
std::function< double(const Space &home, double w, double b)> BranchTbl
Tie-break limit function.
std::function< double(const Space &home, FloatVar x, int i)> FloatBranchMerit
Branch merit function type for float variables.
Gecode toplevel namespace
FloatVarBranch FLOAT_VAR_DEGREE_SIZE_MAX(BranchTbl tbl=nullptr)
Select variable with largest degree divided by domain size.
FloatVarBranch FLOAT_VAR_DEGREE_SIZE_MIN(BranchTbl tbl=nullptr)
Select variable with smallest degree divided by domain size.
FloatVarBranch FLOAT_VAR_RND(Rnd r)
Select random variable (uniform distribution, for tie breaking)
FloatVarBranch FLOAT_VAR_AFC_MIN(double d=1.0, BranchTbl tbl=nullptr)
Select variable with smallest accumulated failure count with decay factor d.
Post propagator for SetVar SetOpType SetVar SetRelType r
FloatVarBranch FLOAT_VAR_SIZE_MAX(BranchTbl tbl=nullptr)
Select variable with largest domain size.
FloatVarBranch FLOAT_VAR_MAX_MAX(BranchTbl tbl=nullptr)
Select variable with largest max.
FloatVarBranch FLOAT_VAR_AFC_SIZE_MIN(double d=1.0, BranchTbl tbl=nullptr)
Select variable with smalllest accumulated failure count divided by domain size with decay factor d.
FloatVarBranch FLOAT_VAR_CHB_SIZE_MAX(BranchTbl tbl=nullptr)
Select variable with largest CHB Q-score divided by domain size.
FloatVarBranch FLOAT_VAR_CHB_MIN(BranchTbl tbl=nullptr)
Select variable with lowest CHB Q-score.
FloatVarBranch FLOAT_VAR_CHB_SIZE_MIN(BranchTbl tbl=nullptr)
Select variable with smallest CHB Q-score divided by domain size.
FloatVarBranch FLOAT_VAR_ACTION_MAX(double d=1.0, BranchTbl tbl=nullptr)
Select variable with highest action with decay factor d.
FloatVarBranch FLOAT_VAR_CHB_MAX(BranchTbl tbl=nullptr)
Select variable with highest CHB Q-score.
FloatVarBranch FLOAT_VAR_MIN_MIN(BranchTbl tbl=nullptr)
Select variable with smallest min.
FloatVarBranch FLOAT_VAR_MAX_MIN(BranchTbl tbl=nullptr)
Select variable with smallest max.
FloatVarBranch FLOAT_VAR_ACTION_MIN(double d=1.0, BranchTbl tbl=nullptr)
Select variable with lowest action with decay factor d.
FloatVarBranch FLOAT_VAR_NONE(void)
Select first unassigned variable.
FloatVarBranch FLOAT_VAR_DEGREE_MAX(BranchTbl tbl=nullptr)
Select variable with largest degree.
FloatVarBranch FLOAT_VAR_ACTION_SIZE_MAX(double d=1.0, BranchTbl tbl=nullptr)
Select variable with largest action divided by domain size with decay factor d.
FloatVarBranch FLOAT_VAR_MIN_MAX(BranchTbl tbl=nullptr)
Select variable with largest min.
FloatVarBranch FLOAT_VAR_AFC_SIZE_MAX(double d=1.0, BranchTbl tbl=nullptr)
Select variable with largest accumulated failure count divided by domain size with decay factor d.
FloatVarBranch FLOAT_VAR_MERIT_MIN(FloatBranchMerit bm, BranchTbl tbl=nullptr)
Select variable with least merit according to branch merit function bm.
Post propagator for SetVar x
FloatVarBranch FLOAT_VAR_DEGREE_MIN(BranchTbl tbl=nullptr)
Select variable with smallest degree.
FloatVarBranch FLOAT_VAR_SIZE_MIN(BranchTbl tbl=nullptr)
Select variable with smallest domain size.
FloatVarBranch FLOAT_VAR_AFC_MAX(double d=1.0, BranchTbl tbl=nullptr)
Select variable with largest accumulated failure count with decay factor d.
FloatVarBranch FLOAT_VAR_ACTION_SIZE_MIN(double d=1.0, BranchTbl tbl=nullptr)
Select variable with smallest action divided by domain size with decay factor d.
FloatVarBranch FLOAT_VAR_MERIT_MAX(FloatBranchMerit bm, BranchTbl tbl=nullptr)
Select variable with highest merit according to branch merit function bm.