Object for storing chb information.
More...
#include <chb.hpp>
|
int | n |
| Number of chb values.
|
unsigned long int | nf |
| Number of failures.
|
double | alpha |
| Alpha value.
|
Info * | chb |
| CHB information.
|
Object for storing chb information.
Definition at line 59 of file chb.hpp.
◆ Storage()
◆ ~Storage()
Gecode::CHB::Storage::~Storage |
( |
void | | ) |
|
Delete object.
Definition at line 40 of file chb.cpp.
◆ bump()
void Gecode::CHB::Storage::bump |
( |
void | | ) |
|
|
inline |
Bump failure count and alpha.
Definition at line 285 of file chb.hpp.
◆ update()
void Gecode::CHB::Storage::update |
( |
int | i, |
|
|
bool | failed ) |
|
inline |
Update chb information at position i.
Definition at line 292 of file chb.hpp.
Mutex to synchronize globally shared access.
Definition at line 62 of file chb.hpp.
int Gecode::CHB::Storage::n |
Number of chb values.
Definition at line 64 of file chb.hpp.
◆ nf
unsigned long int Gecode::CHB::Storage::nf |
Number of failures.
Definition at line 66 of file chb.hpp.
◆ alpha
double Gecode::CHB::Storage::alpha |
◆ chb
Info* Gecode::CHB::Storage::chb |
The documentation for this class was generated from the following files: