Go to the documentation of this file.
105 inline FloatVarBranch
110 inline FloatVarBranch
115 inline FloatVarBranch
120 inline FloatVarBranch
125 inline FloatVarBranch
130 inline FloatVarBranch
135 inline FloatVarBranch
140 inline FloatVarBranch
145 inline FloatVarBranch
150 inline FloatVarBranch
155 inline FloatVarBranch
160 inline FloatVarBranch
165 inline FloatVarBranch
170 inline FloatVarBranch
175 inline FloatVarBranch
180 inline FloatVarBranch
185 inline FloatVarBranch
190 inline FloatVarBranch
195 inline FloatVarBranch
200 inline FloatVarBranch
205 inline FloatVarBranch
210 inline FloatVarBranch
215 inline FloatVarBranch
220 inline FloatVarBranch
225 inline FloatVarBranch
230 inline FloatVarBranch
235 inline FloatVarBranch
240 inline FloatVarBranch
245 inline FloatVarBranch
250 inline FloatVarBranch
255 inline FloatVarBranch
260 inline FloatVarBranch
265 inline FloatVarBranch
270 inline FloatVarBranch
275 inline FloatVarBranch
280 inline FloatVarBranch
285 inline FloatVarBranch
Post propagator for SetVar x
@ SEL_ACTION_SIZE_MIN
With smallest action divided by domain size.
void expand(Home home, const FloatVarArgs &x)
Expand AFC, action, and CHB.
@ SEL_DEGREE_MAX
With largest degree.
FloatVarBranch FLOAT_VAR_AFC_SIZE_MIN(double d, BranchTbl tbl)
Select variable with smalllest accumulated failure count divided by domain size with decay factor d.
Select
Which variable selection.
@ SEL_AFC_MAX
With largest accumulated failure count.
double decay(void) const
Return decay factor.
FloatVarBranch FLOAT_VAR_DEGREE_SIZE_MIN(BranchTbl tbl)
Select variable with smallest degree divided by domain size.
FloatVarBranch FLOAT_VAR_CHB_SIZE_MAX(BranchTbl tbl)
Select variable with largest CHB Q-score divided by domain size.
@ SEL_ACTION_MIN
With lowest action.
FloatVarBranch FLOAT_VAR_AFC_MAX(double d, BranchTbl tbl)
Select variable with largest accumulated failure count with decay factor d.
Recording actions for float variables.
@ SEL_NONE
First unassigned.
Action _act
Action information.
Which variable to select for branching.
FloatVarBranch FLOAT_VAR_NONE(void)
Select first unassigned variable.
@ SEL_CHB_MIN
With lowest CHB Q-score.
FloatVarBranch FLOAT_VAR_MIN_MAX(BranchTbl tbl)
Select variable with largest min.
FloatVarBranch FLOAT_VAR_SIZE_MIN(BranchTbl tbl)
Select variable with smallest domain size.
@ SEL_DEGREE_MIN
With smallest degree.
Variable branching information.
Gecode toplevel namespace
@ SEL_SIZE_MIN
With smallest domain size.
double tbl(const Gecode::Space &, double w, double b)
Test function for tie-break limit function.
FloatVarBranch FLOAT_VAR_MAX_MAX(BranchTbl tbl)
Select variable with largest max.
@ SEL_SIZE_MAX
With largest domain size.
@ SEL_CHB_MAX
With highest CHB Q-score.
@ SEL_CHB_SIZE_MAX
With largest CHB Q-score divided by domain size.
FloatVarBranch FLOAT_VAR_DEGREE_MIN(BranchTbl tbl)
Select variable with smallest degree.
Home class for posting propagators
struct Gecode::@579::NNF::@61::@63 a
For atomic nodes.
Select select(void) const
Return selection strategy.
@ SEL_CHB_SIZE_MIN
With smallest CHB Q-score divided by domain size.
Recording CHB for float variables.
FloatVarBranch FLOAT_VAR_CHB_MAX(BranchTbl tbl)
Select variable with highest CHB Q-score.
Post propagator for SetVar SetOpType SetVar SetRelType r
FloatVarBranch FLOAT_VAR_MAX_MIN(BranchTbl tbl)
Select variable with smallest max.
Select s
Which variable to select.
FloatVarBranch FLOAT_VAR_AFC_MIN(double d, BranchTbl tbl)
Select variable with smallest accumulated failure count with decay factor d.
FloatVarBranch FLOAT_VAR_MERIT_MAX(FloatBranchMerit bm, BranchTbl tbl)
Select variable with highest merit according to branch merit function bm.
@ SEL_MERIT_MIN
With least merit.
@ SEL_MIN_MIN
With smallest min.
FloatVarBranch FLOAT_VAR_CHB_SIZE_MIN(BranchTbl tbl)
Select variable with smallest CHB Q-score divided by domain size.
@ SEL_DEGREE_SIZE_MAX
With largest degree divided by domain size.
FloatVarBranch FLOAT_VAR_MIN_MIN(BranchTbl tbl)
Select variable with smallest min.
FloatVarBranch FLOAT_VAR_SIZE_MAX(BranchTbl tbl)
Select variable with largest domain size.
@ SEL_AFC_SIZE_MAX
With largest accumulated failure count divided by domain size.
@ SEL_MAX_MAX
With largest max.
@ SEL_DEGREE_SIZE_MIN
With smallest degree divided by domain size.
FloatVarBranch FLOAT_VAR_MERIT_MIN(FloatBranchMerit bm, BranchTbl tbl)
Select variable with least merit according to branch merit function bm.
FloatVarBranch FLOAT_VAR_DEGREE_SIZE_MAX(BranchTbl tbl)
Select variable with largest degree divided by domain size.
FloatVarBranch FLOAT_VAR_CHB_MIN(BranchTbl tbl)
Select variable with lowest CHB Q-score.
FloatVarBranch FLOAT_VAR_ACTION_MIN(double d, BranchTbl tbl)
Select variable with lowest action with decay factor d.
FloatVarBranch FLOAT_VAR_DEGREE_MAX(BranchTbl tbl)
Select variable with largest degree.
@ SEL_AFC_MIN
With smallest accumulated failure count.
std::function< double(const Space &home, double w, double b)> BranchTbl
Tie-break limit function.
@ SEL_MIN_MAX
With largest min.
FloatVarBranch(void)
Initialize with strategy SEL_NONE.
FloatVarBranch FLOAT_VAR_ACTION_SIZE_MIN(double d, BranchTbl tbl)
Select variable with smallest action divided by domain size with decay factor d.
Gecode::FloatVal c(-8, 8)
@ SEL_MERIT_MAX
With highest merit.
std::function< double(const Space &home, FloatVar x, int i)> FloatBranchMerit
Branch merit function type for float variables.
FloatVarBranch FLOAT_VAR_RND(Rnd r)
Select random variable (uniform distribution, for tie breaking)
@ SEL_MAX_MIN
With smallest max.
@ SEL_ACTION_SIZE_MAX
With largest action divided by domain size.
@ SEL_ACTION_MAX
With highest action.
FloatVarBranch FLOAT_VAR_ACTION_SIZE_MAX(double d, BranchTbl tbl)
Select variable with largest action divided by domain size with decay factor d.
@ SEL_AFC_SIZE_MIN
With smallest accumulated failure count divided by domain size.
FloatVarBranch FLOAT_VAR_AFC_SIZE_MAX(double d, BranchTbl tbl)
Select variable with largest accumulated failure count divided by domain size with decay factor d.
FloatVarBranch FLOAT_VAR_ACTION_MAX(double d, BranchTbl tbl)
Select variable with highest action with decay factor d.
Recording AFC information for float variables.