Recording AFC information for set variables.
More...
#include <set.hh>
|
| SetAFC (void) |
| Construct as not yet initialized. More...
|
|
| SetAFC (const SetAFC &a) |
| Copy constructor. More...
|
|
SetAFC & | operator= (const SetAFC &a) |
| Assignment operator. More...
|
|
| SetAFC (Home home, const SetVarArgs &x, double d=1.0) |
| Initialize for set variables x with decay factor d. More...
|
|
void | init (Home, const SetVarArgs &x, double d=1.0) |
| Initialize for set 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...
|
|
|
static const AFC | def |
| Default (empty) AFC information. More...
|
|
int | n |
| Number of views. More...
|
|
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...
|
|
Recording AFC information for set variables.
Definition at line 1153 of file set.hh.
Gecode::SetAFC::SetAFC |
( |
void |
| ) |
|
|
inline |
Construct as not yet initialized.
The only member functions that can be used on a constructed but not yet initialized AFC storage is init or the assignment operator.
Definition at line 41 of file afc.hpp.
Gecode::SetAFC::SetAFC |
( |
const SetAFC & |
a | ) |
|
|
inline |
Copy constructor.
Definition at line 44 of file afc.hpp.
Gecode::SetAFC::SetAFC |
( |
Home |
home, |
|
|
const SetVarArgs & |
x, |
|
|
double |
d = 1.0 |
|
) |
| |
|
inline |
Initialize for set variables x with decay factor d.
Definition at line 53 of file afc.hpp.
Assignment operator.
Definition at line 48 of file afc.hpp.
void Gecode::SetAFC::init |
( |
Home |
home, |
|
|
const SetVarArgs & |
x, |
|
|
double |
d = 1.0 |
|
) |
| |
|
inline |
Initialize for set variables x with decay factor d.
This member function can only be used once and only if the AFC storage has been constructed with the default constructor.
Definition at line 58 of file afc.hpp.
The documentation for this class was generated from the following files: