Classes |
| class | Gecode::FreeList |
| | Base-class for freelist-managed objects. More...
|
| class | Gecode::RangeList |
| | Lists of ranges (intervals). More...
|
Namespaces |
| namespace | Gecode::Kernel::MemoryConfig |
| | Parameters defining memory management policy for spaces.
|
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.
|
template<class T >
| T * Gecode::Space::realloc |
( |
T * |
b, |
|
|
long unsigned int |
n, |
|
|
long unsigned int |
m | |
|
) |
| | [inline, inherited] |
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 T is run for all
objects, the default constructor of 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 2888 of file core.hpp.
template<class T >
| T * Gecode::Space::realloc |
( |
T * |
b, |
|
|
long int |
n, |
|
|
long int |
m | |
|
) |
| | [inline, inherited] |
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 T is run for all
objects, the default constructor of 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 2904 of file core.hpp.
template<class T >
| T * Gecode::Space::realloc |
( |
T * |
b, |
|
|
unsigned int |
n, |
|
|
unsigned int |
m | |
|
) |
| | [inline, inherited] |
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 T is run for all
objects, the default constructor of 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 2911 of file core.hpp.