Generated on Sat May 25 2013 18:00:45 for Gecode by doxygen 1.8.3.1
Gecode::Activity::Storage Class Reference

Object for storing activity values. More...

#include <activity.hpp>

Public Member Functions

 Storage (int n0, double d0)
 Allocate for n0 activity values and decay factor d0. 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...
 

Detailed Description

Object for storing activity values.

Definition at line 49 of file activity.hpp.

Constructor & Destructor Documentation

Gecode::Activity::Storage::Storage ( int  n0,
double  d0 
)
inline

Allocate for n0 activity values and decay factor d0.

Definition at line 279 of file activity.hpp.

Gecode::Activity::Storage::~Storage ( void  )
inline

Delete object.

Definition at line 285 of file activity.hpp.

Member Function Documentation

void * Gecode::Activity::Storage::operator new ( size_t  s)
inlinestatic

Allocate memory from heap.

Definition at line 271 of file activity.hpp.

void Gecode::Activity::Storage::operator delete ( void *  p)
inlinestatic

Free memory allocated from heap.

Definition at line 275 of file activity.hpp.

Member Data Documentation

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.


The documentation for this class was generated from the following file: