IntAFC(void)
Construct as not yet initialized.
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.
Recording AFC information for integer and Boolean variables.
Passing integer variables.
Passing Boolean variables.
Node * x
Pointer to corresponding Boolean expression node.
IntAFC & operator=(const IntAFC &a)
Assignment operator.
Gecode toplevel namespace
AFC & operator=(const AFC &a)
Assignment operator.
Home class for posting propagators
void init(Home, const IntVarArgs &x, double d=1.0)
Initialize for integer variables x with decay factor d.
struct Gecode::@518::NNF::@57::@59 a
For atomic nodes.