39 Archive::resize(
int n) {
40 int m = std::max(n+1, (3*_size)/2);
46 _a =
heap.alloc<
unsigned int>(_n);
47 heap.copy<
unsigned int>(_a,e._a,_n);
53 _a =
heap.realloc<
unsigned int>(_a, _size, e._n);
54 heap.copy<
unsigned int>(_a,e._a,e._n);
61 heap.free<
unsigned int>(_a,_size);
Archive(void)
Construct empty representation.
~Archive(void)
Destructor.
Archive & operator=(const Archive &e)
Assignment operator.
T * realloc(T *b, long unsigned int n, long unsigned int m)
Reallocate block of n objects starting at b to m objects of type T from heap.
Heap heap
The single global heap.
Gecode toplevel namespace