Object for storing activity values. More...
#include <activity.hpp>
Public Member Functions | |
template<class View > | |
Storage (Home home, ViewArray< View > &x, double d, typename BranchTraits< typename View::VarType >::Merit bm) | |
Allocate activity values. | |
~Storage (void) | |
Delete object. | |
Static Public Member Functions | |
static void * | operator new (size_t s) |
Allocate memory from heap. | |
static void | operator delete (void *p) |
Free memory allocated from heap. | |
Public Attributes | |
Support::Mutex | m |
Mutex to synchronize globally shared access. | |
unsigned int | use_cnt |
How many references exist for this object. | |
double * | a |
Activity values. | |
int | n |
Number of activity values. | |
double | d |
Decay factor. |
Object for storing activity values.
Definition at line 49 of file activity.hpp.
Gecode::Activity::Storage::Storage | ( | Home | home, |
ViewArray< View > & | x, | ||
double | d, | ||
typename BranchTraits< typename View::VarType >::Merit | bm | ||
) | [inline] |
Allocate activity values.
Definition at line 278 of file activity.hpp.
Gecode::Activity::Storage::~Storage | ( | void | ) | [inline] |
Delete object.
Definition at line 292 of file activity.hpp.
void * Gecode::Activity::Storage::operator new | ( | size_t | s | ) | [inline, static] |
Allocate memory from heap.
Definition at line 269 of file activity.hpp.
void Gecode::Activity::Storage::operator delete | ( | void * | p | ) | [inline, static] |
Free memory allocated from heap.
Definition at line 273 of file activity.hpp.
Mutex to synchronize globally shared access.
Definition at line 52 of file activity.hpp.
unsigned int Gecode::Activity::Storage::use_cnt |
How many references exist for this object.
Definition at line 54 of file activity.hpp.
double* Gecode::Activity::Storage::a |
Activity values.
Definition at line 56 of file activity.hpp.
Number of activity values.
Definition at line 58 of file activity.hpp.
double Gecode::Activity::Storage::d |
Decay factor.
Definition at line 60 of file activity.hpp.