
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.