|
| IntAFC (void) |
| Construct as not yet initialized. More...
|
|
| IntAFC (const IntAFC &a) |
| Copy constructor. More...
|
|
IntAFC & | operator= (const IntAFC &a) |
| Assignment operator. More...
|
|
| IntAFC (Home home, const IntVarArgs &x, double d=1.0) |
| Initialize for integer variables x with decay factor d. More...
|
|
| IntAFC (Home home, const BoolVarArgs &x, double d=1.0) |
| Initialize for Boolean variables x with decay factor d. More...
|
|
void | init (Home, const IntVarArgs &x, double d=1.0) |
| Initialize for integer variables x with decay factor d. More...
|
|
void | init (Home, const BoolVarArgs &x, double d=1.0) |
| Initialize for Boolean variables x with decay factor d. More...
|
|
| 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...
|
|
bool | initialized (void) const |
| Test whether already initialized. More...
|
|
void | set (Space &home, double a=1.0) |
| Set AFC information to a. 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...
|
|
Recording AFC information for integer and Boolean variables.
Definition at line 3660 of file int.hh.