Class for AFC (accumulated failure count) management.
More...
#include <afc.hpp>
|
(Note that these are not member symbols.)
|
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)
|
|
static const AFC | def |
| Default (empty) AFC information.
|
| 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.
|
Class for AFC (accumulated failure count) management.
Definition at line 40 of file afc.hpp.
◆ AFC() [1/3]
Gecode::AFC::AFC |
( |
void | | ) |
|
|
inline |
Construct as not yet intialized.
The only member functions that can be used on a constructed but not yet initialized AFC storage is init and the assignment operator.
Definition at line 119 of file afc.hpp.
◆ AFC() [2/3]
Gecode::AFC::AFC |
( |
const AFC & | a | ) |
|
|
inline |
Copy constructor.
Definition at line 149 of file afc.hpp.
◆ AFC() [3/3]
Initialize for 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 128 of file afc.hpp.
◆ ~AFC()
Gecode::AFC::~AFC |
( |
void | | ) |
|
|
inline |
Destructor.
Definition at line 157 of file afc.hpp.
◆ operator=()
AFC & Gecode::AFC::operator= |
( |
const AFC & | a | ) |
|
|
inline |
Assignment operator.
Definition at line 152 of file afc.hpp.
◆ init()
void Gecode::AFC::init |
( |
Home | home, |
|
|
const VarArgArray< Var > & | x, |
|
|
double | d, |
|
|
bool | share = true ) |
|
inline |
Initialize for 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 138 of file afc.hpp.
◆ operator bool()
Gecode::AFC::operator bool |
( |
void | | ) |
const |
|
inline |
Test whether already initialized.
Definition at line 122 of file afc.hpp.
◆ size()
int Gecode::AFC::size |
( |
void | | ) |
const |
|
inline |
Return number of AFC values.
Definition at line 113 of file afc.hpp.
◆ decay() [1/2]
void Gecode::AFC::decay |
( |
Space & | home, |
|
|
double | d ) |
|
inline |
◆ decay() [2/2]
double Gecode::AFC::decay |
( |
const Space & | home | ) |
const |
|
inline |
Return decay factor.
Definition at line 167 of file afc.hpp.
◆ operator<<()
template<class Char, class Traits>
std::basic_ostream< Char, Traits > & operator<< |
( |
std::basic_ostream< Char, Traits > & | os, |
|
|
const AFC & | a ) |
|
related |
Print AFC information (prints nothing)
Definition at line 167 of file afc.hpp.
Number of views.
Definition at line 43 of file afc.hpp.
◆ def
const AFC Gecode::AFC::def |
|
static |
Default (empty) AFC information.
Definition at line 78 of file afc.hpp.
The documentation for this class was generated from the following files: