51 (void) SharedHandle::operator =(c);
int n
Number of chb values.
static Support::Mutex m
Mutex to synchronize globally shared access.
Info * chb
CHB information.
~Storage(void)
Delete object.
Class for CHB management.
CHB(void)
Construct as not yet intialized.
CHB & operator=(const CHB &a)
Assignment operator.
static const CHB def
Default (empty) chb information.
void free(T *b, long unsigned int n)
Delete n objects starting at b.
Heap heap
The single global heap.
Gecode toplevel namespace