39 Archive::resize(
int n) {
40 int m = std::max(
n+1, (3*_size)/2);
54 heap.
copy<
unsigned int>(_a,e._a,e._n);
int n
Number of negative literals for node type.
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.
static T * copy(T *d, const T *s, long unsigned int n)
Copy n objects starting at s to d.
void free(T *b, long unsigned int n)
Delete n objects starting at b.
T * alloc(long unsigned int n)
Allocate block of n objects of type T from heap.
Heap heap
The single global heap.
Gecode toplevel namespace