49 return static_cast<IntAFC&>(AFC::operator =(
a));
73 return static_cast<BoolAFC&>(AFC::operator =(
a));
IntAFC(void)
Construct as not yet initialized.
void init(Home home, const BoolVarArgs &x, double d=1.0)
Initialize for Boolean variables x with decay factor d.
void init(Home home, const VarArgArray< Var > &x, double d)
Initialize for views x and decay factor d.
struct Gecode::@579::NNF::@61::@63 a
For atomic nodes.
Class for AFC (accumulated failure count) management.
Recording AFC information for integer variables.
Recording AFC information for Boolean variables.
BoolAFC(void)
Construct as not yet initialized.
Passing integer variables.
Passing Boolean variables.
BoolAFC & operator=(const BoolAFC &a)
Assignment operator.
Post propagator for SetVar x
IntAFC & operator=(const IntAFC &a)
Assignment operator.
Gecode toplevel namespace
void init(Home home, const IntVarArgs &x, double d=1.0)
Initialize for integer variables x with decay factor d.
Home class for posting propagators