43 Archive::resize(
int n) {
58 heap.
copy<
unsigned int>(_a,e._a,e._n);
static T * copy(T *d, const T *s, long unsigned int n)
Copy n objects starting at s to d.
Archive & operator=(const Archive &e)
Assignment operator.
const FloatNum max
Largest allowed float value.
~Archive(void)
Destructor.
Heap heap
The single global heap.
T * alloc(long unsigned int n)
Allocate block of n objects of type T from heap.
int n
Number of negative literals for node type.
Archive(void)
Construct empty representation.
void free(T *b, long unsigned int n)
Delete n objects starting at b.
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.
Gecode toplevel namespace