Recording AFC information for set variables. More...
#include <set.hh>
Public Member Functions | |
| SetAFC (void) | |
| Construct as not yet initialized. More... | |
| Copy constructor | SetAFC (const SetAFC &a) |
| Assignment | operator SetAFC &operator= (const SetAFC &a) |
| Initialize for set variables a x with decay factor a d | SetAFC (Home home, const SetVarArgs &x, double d=1.0) |
| void | init (Home home, const SetVarArgs &x, double d=1.0) |
| Initialize for set variables x with decay factor d. More... | |
 Public Member Functions inherited from Gecode::AFC | |
| AFC (void) | |
| Construct as not yet intialized. More... | |
| AFC (const AFC &a) | |
| Copy constructor. More... | |
| AFC & | operator= (const AFC &a) |
| Assignment operator. More... | |
| template<class Var > | |
| AFC (Home home, const VarArgArray< Var > &x, double d) | |
| Initialize for variables x and decay factor d. More... | |
| template<class Var > | |
| void | init (Home home, const VarArgArray< Var > &x, double d) |
| Initialize for views x and decay factor d. More... | |
| operator bool (void) const | |
| Test whether already initialized. More... | |
| void | update (Space &home, bool share, AFC &a) |
| Updating during cloning. More... | |
| ~AFC (void) | |
| Destructor. More... | |
| int | size (void) const |
| Return number of AFC values. More... | |
| void | decay (Space &home, double d) |
| Set decay factor to d. More... | |
| double | decay (const Space &home) const |
| Return decay factor. More... | |
Additional Inherited Members | |
| Static Public Attributes inherited from Gecode::AFC | |
| static const AFC | def |
| Default (empty) AFC information. More... | |
| Protected Attributes inherited from Gecode::AFC | |
| int | n |
| Number of views. More... | |
| Related Functions inherited from Gecode::AFC | |
| template<class Char , class Traits > | |
| std::basic_ostream< Char, Traits > & | operator<< (std::basic_ostream< Char, Traits > &os, const AFC &a) |
| Print AFC information (prints nothing) More... | |