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.
SharedHandle(void)
Create shared handle with no object pointing to.
A mutex for mutual exclausion among several threads.
Heap heap
The single global heap.
Gecode toplevel namespace