51 (void) SharedHandle::operator =(c);
CHB & operator=(const CHB &a)
Assignment operator.
int n
Number of chb values.
Info * chb
CHB information.
~Storage(void)
Delete object.
CHB(void)
Construct as not yet intialized.
Gecode::FloatVal c(-8, 8)
Class for CHB management.
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
static Support::Mutex m
Mutex to synchronize globally shared access.