45 : storage(
a.storage) {
CHB & operator=(const CHB &a)
Assignment operator.
unsigned int use_cnt
How many references exist for this object.
void update(int i)
Update chb value at position i.
void acquire(void)
Acquire mutex.
CHB(void)
Construct as not yet intialized.
struct Gecode::@579::NNF::@61::@63 a
For atomic nodes.
Class for CHB management.
void release(void)
Release mutex.
static const CHB def
Default (empty) chb information.
Storage * storage
Pointer to storage object.
Gecode toplevel namespace