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. More... | |
~Storage (void) | |
Delete object. More... | |
Static Public Member Functions | |
static void * | operator new (size_t s) |
Allocate memory from heap. More... | |
static void | operator delete (void *p) |
Free memory allocated from heap. More... | |
Public Attributes | |
Support::Mutex | m |
Mutex to synchronize globally shared access. More... | |
unsigned int | use_cnt |
How many references exist for this object. More... | |
double * | a |
Activity values. More... | |
int | n |
Number of activity values. More... | |
double | d |
Decay factor. More... | |
Object for storing activity values.
Definition at line 49 of file activity.hpp.
|
inline |
Allocate activity values.
Definition at line 278 of file activity.hpp.
|
inline |
Delete object.
Definition at line 292 of file activity.hpp.
|
inlinestatic |
Allocate memory from heap.
Definition at line 269 of file activity.hpp.
|
inlinestatic |
Free memory allocated from heap.
Definition at line 273 of file activity.hpp.
Support::Mutex Gecode::Activity::Storage::m |
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.
int Gecode::Activity::Storage::n |
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.