Recording AFC information for float variables.
More...
#include <float.hh>
|
| FloatAFC (void) |
| Construct as not yet initialized.
|
|
| FloatAFC (const FloatAFC &a) |
| Copy constructor.
|
|
FloatAFC & | operator= (const FloatAFC &a) |
| Assignment operator.
|
|
| FloatAFC (Home home, const FloatVarArgs &x, double d=1.0, bool share=true) |
| Initialize for float variables x and decay factor d.
|
|
void | init (Home home, const FloatVarArgs &x, double d=1.0, bool share=true) |
| Initialize for float variables x with decay factor d.
|
|
| AFC (void) |
| Construct as not yet intialized.
|
|
| AFC (const AFC &a) |
| Copy constructor.
|
|
AFC & | operator= (const AFC &a) |
| Assignment operator.
|
|
template<class Var > |
| AFC (Home home, const VarArgArray< Var > &x, double d, bool share=true) |
| Initialize for variables x and decay factor d.
|
|
template<class Var > |
void | init (Home home, const VarArgArray< Var > &x, double d, bool share=true) |
| Initialize for variables x and decay factor d.
|
|
| operator bool (void) const |
| Test whether already initialized.
|
|
| ~AFC (void) |
| Destructor.
|
|
int | size (void) const |
| Return number of AFC values.
|
|
void | decay (Space &home, double d) |
| Set decay factor to d.
|
|
double | decay (const Space &home) const |
| Return decay factor.
|
|
|
static const AFC | def |
| Default (empty) AFC information.
|
|
int | n |
| Number of views.
|
|
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)
|
|
Recording AFC information for float variables.
Definition at line 1509 of file float.hh.
◆ FloatAFC() [1/3]
Gecode::FloatAFC::FloatAFC |
( |
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 37 of file afc.hpp.
◆ FloatAFC() [2/3]
Gecode::FloatAFC::FloatAFC |
( |
const FloatAFC & | a | ) |
|
|
inline |
Copy constructor.
Definition at line 40 of file afc.hpp.
◆ FloatAFC() [3/3]
Gecode::FloatAFC::FloatAFC |
( |
Home | home, |
|
|
const FloatVarArgs & | x, |
|
|
double | d = 1.0, |
|
|
bool | share = true ) |
|
inline |
Initialize for float variables x and decay factor d.
If several AFC objects are created for a space or its clones, the AFC values are shared between spaces. If the values should not be shared, share should be false.
Definition at line 49 of file afc.hpp.
◆ operator=()
Assignment operator.
Definition at line 44 of file afc.hpp.
◆ init()
void Gecode::FloatAFC::init |
( |
Home | home, |
|
|
const FloatVarArgs & | x, |
|
|
double | d = 1.0, |
|
|
bool | share = true ) |
|
inline |
Initialize for float 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.
If several AFC objects are created for a space or its clones, the AFC values are shared between spaces. If the values should not be shared, share should be false.
Definition at line 54 of file afc.hpp.
The documentation for this class was generated from the following files: