49 return static_cast<FloatAFC&>(AFC::operator =(
a));
void init(Home home, const VarArgArray< Var > &x, double d)
Initialize for views x and decay factor d.
Class for AFC (accumulated failure count) management.
FloatAFC(void)
Construct as not yet initialized.
struct Gecode::@511::NNF::@54::@56 a
For atomic nodes.
Node * x
Pointer to corresponding Boolean expression node.
void init(Home, const FloatVarArgs &x, double d=1.0)
Initialize for float variables x with decay factor d.
Gecode toplevel namespace
FloatAFC & operator=(const FloatAFC &a)
Assignment operator.
Home class for posting propagators
Recording AFC information for float variables.