Class for AFC (accumulated failure count) management.
More...
#include <afc.hpp>
|
(Note that these are not member functions.)
|
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...
|
|
Class for AFC (accumulated failure count) management.
Definition at line 44 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 118 of file afc.hpp.
◆ AFC() [2/3]
Gecode::AFC::AFC |
( |
const AFC & |
a | ) |
|
|
inline |
Copy constructor.
Definition at line 144 of file afc.hpp.
◆ AFC() [3/3]
Initialize for variables x and decay factor d.
Definition at line 127 of file afc.hpp.
◆ ~AFC()
Gecode::AFC::~AFC |
( |
void |
| ) |
|
|
inline |
Destructor.
Definition at line 152 of file afc.hpp.
◆ operator=()
AFC & Gecode::AFC::operator= |
( |
const AFC & |
a | ) |
|
|
inline |
Assignment operator.
Definition at line 147 of file afc.hpp.
◆ init()
Initialize for views x and decay factor d.
Definition at line 135 of file afc.hpp.
◆ operator bool()
Gecode::AFC::operator bool |
( |
void |
| ) |
const |
|
inline |
Test whether already initialized.
Definition at line 121 of file afc.hpp.
◆ update()
void Gecode::AFC::update |
( |
Space & |
home, |
|
|
bool |
share, |
|
|
AFC & |
a |
|
) |
| |
|
inline |
Updating during cloning.
Definition at line 155 of file afc.hpp.
◆ size()
int Gecode::AFC::size |
( |
void |
| ) |
const |
|
inline |
Return number of AFC values.
Definition at line 112 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 174 of file afc.hpp.
Number of views.
Definition at line 47 of file afc.hpp.
◆ def
const AFC Gecode::AFC::def |
|
static |
Default (empty) AFC information.
Definition at line 72 of file afc.hpp.
The documentation for this class was generated from the following files: