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.
|
template<class T >
T * Gecode::Space::realloc |
( |
T * |
b, |
|
|
long unsigned int |
n, |
|
|
long unsigned int |
m |
|
) |
| |
|
inline |
Reallocate block of n objects starting at b to m objects of type T from the space heap.
Note that this function implements C++ semantics: the copy constructor
of \a T is run for all \form#297 objects, the default
constructor of \a T is run for all remaining
objects, and the destrucor of T is run for all n objects in b.
Returns the address of the new block.
Definition at line 2105 of file core.hpp.
template<class T >
T * Gecode::Space::realloc |
( |
T * |
b, |
|
|
long int |
n, |
|
|
long int |
m |
|
) |
| |
|
inline |
Reallocate block of n objects starting at b to m objects of type T from the space heap.
Note that this function implements C++ semantics: the copy constructor
of \a T is run for all \form#297 objects, the default
constructor of \a T is run for all remaining
objects, and the destrucor of T is run for all n objects in b.
Returns the address of the new block.
Definition at line 2121 of file core.hpp.
template<class T >
T * Gecode::Space::realloc |
( |
T * |
b, |
|
|
unsigned int |
n, |
|
|
unsigned int |
m |
|
) |
| |
|
inline |
Reallocate block of n objects starting at b to m objects of type T from the space heap.
Note that this function implements C++ semantics: the copy constructor
of \a T is run for all \form#297 objects, the default
constructor of \a T is run for all remaining
objects, and the destrucor of T is run for all n objects in b.
Returns the address of the new block.
Definition at line 2128 of file core.hpp.
template<class T >
T * Gecode::Space::realloc |
( |
T * |
b, |
|
|
int |
n, |
|
|
int |
m |
|
) |
| |
|
inline |
Reallocate block of n objects starting at b to m objects of type T from the space heap.
Note that this function implements C++ semantics: the copy constructor
of \a T is run for all \form#297 objects, the default
constructor of \a T is run for all remaining
objects, and the destrucor of T is run for all n objects in b.
Returns the address of the new block.
Definition at line 2134 of file core.hpp.