Functions |
template<class T > |
T * | Gecode::Space::alloc (long unsigned int n) |
| Allocate block of n objects of type T from space heap.
|
template<class T > |
T * | Gecode::Space::alloc (long int n) |
| Allocate block of n objects of type T from space heap.
|
template<class T > |
T * | Gecode::Space::alloc (unsigned int n) |
| Allocate block of n objects of type T from space heap.
|
template<class T > |
T * | Gecode::Space::alloc (int n) |
| Allocate block of n objects of type T from space heap.
|
template<class T > |
void | Gecode::Space::free (T *b, long unsigned int n) |
| Delete n objects allocated from space heap starting at b.
|
template<class T > |
void | Gecode::Space::free (T *b, long int n) |
| Delete n objects allocated from space heap starting at b.
|
template<class T > |
void | Gecode::Space::free (T *b, unsigned int n) |
| Delete n objects allocated from space heap starting at b.
|
template<class T > |
void | Gecode::Space::free (T *b, int n) |
| Delete n objects allocated from space heap starting at b.
|
template<class T > |
T * | Gecode::Space::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 the space heap.
|
template<class T > |
T * | Gecode::Space::realloc (T *b, long int n, long int m) |
| Reallocate block of n objects starting at b to m objects of type T from the space heap.
|
template<class T > |
T * | Gecode::Space::realloc (T *b, unsigned int n, unsigned int m) |
| Reallocate block of n objects starting at b to m objects of type T from the space heap.
|
template<class T > |
T * | Gecode::Space::realloc (T *b, int n, int m) |
| Reallocate block of n objects starting at b to m objects of type T from the space heap.
|
template<class T > |
T ** | Gecode::Space::realloc (T **b, long unsigned int n, long unsigned int m) |
| Reallocate block of n pointers starting at b to m objects of type T* from the space heap.
|
template<class T > |
T ** | Gecode::Space::realloc (T **b, long int n, long int m) |
| Reallocate block of n pointers starting at b to m objects of type T* from the space heap.
|
template<class T > |
T ** | Gecode::Space::realloc (T **b, unsigned int n, unsigned int m) |
| Reallocate block of n pointers starting at b to m objects of type T* from the space heap.
|
template<class T > |
T ** | Gecode::Space::realloc (T **b, int n, int m) |
| Reallocate block of n pointers starting at b to m objects of type T* from the space heap.
|
void * | Gecode::Space::ralloc (size_t s) |
| Allocate memory on space heap.
|
void | Gecode::Space::rfree (void *p, size_t s) |
| Free memory previously allocated with alloc (might be reused later)
|
void * | Gecode::Space::rrealloc (void *b, size_t n, size_t m) |
| Reallocate memory block starting at b from size n to size s.
|
template<size_t > |
void * | Gecode::Space::fl_alloc (void) |
| Allocate from freelist-managed memory.
|
template<size_t > |
void | Gecode::Space::fl_dispose (FreeList *f, FreeList *l) |
| Return freelist-managed memory to freelist.
|
size_t | Gecode::Space::allocated (void) const |
| Return how much heap memory is allocated.
|
void | Gecode::Space::flush (void) |
| Flush cached memory blocks and AFC information.
|