45 : storage(
a.storage) {
87 const_cast<Activity&>(
a).acquire();
90 const_cast<Activity&>(
a).release();
111 const_cast<Activity*>(
this)->acquire();
113 const_cast<Activity*>(
this)->release();
void acquire(void)
Acquire mutex.
void update(int i)
Update activity value at position i.
void set(Space &home, double a=0.0)
Set activity to a.
double * a
Activity values.
Gecode::IntArgs i(4, 1, 2, 3, 4)
Activity(void)
Construct as not yet intialized.
void release(void)
Release mutex.
int n
Number of activity values.
~Activity(void)
Destructor.
Activity & operator=(const Activity &a)
Assignment operator.
Storage * storage
Pointer to storage object.
struct Gecode::@511::NNF::@54::@56 a
For atomic nodes.
static const Activity def
Default (empty) activity information.
void decay(int i)
Decay activity value at position i.
unsigned int use_cnt
How many references exist for this object.
Gecode toplevel namespace
Class for activity management.