IntAFC(void)
Construct as not yet initialized.
void init(Home home, const VarArgArray< Var > &x, double d, bool share=true)
Initialize for variables x and decay factor d.
void init(Home home, const BoolVarArgs &x, double d=1.0, bool share=true)
Initialize for Boolean variables x with decay factor d.
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.
void init(Home home, const IntVarArgs &x, double d=1.0, bool share=true)
Initialize for integer variables x with decay factor d.
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
AFC & operator=(const AFC &a)
Assignment operator.
Home class for posting propagators
struct Gecode::@593::NNF::@62::@64 a
For atomic nodes.