Gecode::CHB::Storage Class Reference
Object for storing chb information. More...
#include <chb.hpp>
List of all members.
Public Member Functions | |
| template<class View > | |
| Storage (Home home, ViewArray< View > &x, typename BranchTraits< typename View::VarType >::Merit bm) | |
| Initialize CHB info. | |
| ~Storage (void) | |
| Delete object. | |
| void | bump (void) |
| Bump failure count and alpha. | |
| void | update (int i, bool failed) |
| Update chb information at position i. | |
Public Attributes | |
| int | n |
| Number of chb values. | |
| unsigned long int | nf |
| Number of failures. | |
| double | alpha |
| Alpha value. | |
| Info * | chb |
| CHB information. | |
Static Public Attributes | |
| static Support::Mutex | m |
| Mutex to synchronize globally shared access. | |
Detailed Description
Object for storing chb information.
Definition at line 59 of file chb.hpp.
Constructor & Destructor Documentation
template<class View >
| Gecode::CHB::Storage::Storage | ( | Home | home, | |
| ViewArray< View > & | x, | |||
| typename BranchTraits< typename View::VarType >::Merit | bm | |||
| ) | [inline] |
Member Function Documentation
| void Gecode::CHB::Storage::bump | ( | void | ) | [inline] |
| void Gecode::CHB::Storage::update | ( | int | i, | |
| bool | failed | |||
| ) | [inline] |
Member Data Documentation
Support::Mutex Gecode::CHB::Storage::m [static] |
| unsigned long int Gecode::CHB::Storage::nf |
| double Gecode::CHB::Storage::alpha |
The documentation for this class was generated from the following files: