struct Gecode::@603::NNF::@65::@67 a
For atomic nodes.
Class for AFC (accumulated failure count) management.
AFC & operator=(const AFC &a)
Assignment operator.
void init(Home home, const VarArgArray< Var > &x, double d, bool share=true)
Initialize for variables x and decay factor d.
Recording AFC information for Boolean variables.
BoolAFC(void)
Construct as not yet initialized.
BoolAFC & operator=(const BoolAFC &a)
Assignment operator.
void init(Home home, const BoolVarArgs &x, double d=1.0, bool share=true)
Initialize for Boolean variables x with decay factor d.
Passing Boolean variables.
Home class for posting propagators
Recording AFC information for integer variables.
IntAFC(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.
IntAFC & operator=(const IntAFC &a)
Assignment operator.
Passing integer variables.
Gecode toplevel namespace
Post propagator for SetVar x