45 : storage(a.storage) {
103 if ((d < 0.0) || (d > 1.0))
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.
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.
Exception: illegal decay factor
struct Gecode::@518::NNF::@57::@59 a
For atomic nodes.