AFC(void)
Construct as not yet intialized.
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.
Home class for posting propagators
Recording AFC information for set variables.
void init(Home home, const SetVarArgs &x, double d=1.0, bool share=true)
Initialize for set variables x with decay factor d.
SetAFC(void)
Construct as not yet initialized.
Gecode toplevel namespace
Post propagator for SetVar x