Default memory allocator. More...
#include <allocator.hpp>
Public Member Functions | |
Allocator (void) | |
Default constructor. | |
void * | alloc (size_t n) |
Allocate memory block of size n. | |
void * | realloc (void *p, size_t n) |
Return address of reallocated memory block p of size n. | |
void | free (void *p) |
Free memory block p. | |
void * | memcpy (void *d, const void *s, size_t n) |
Copy n bytes from source s directly to d and returns d. |
Default memory allocator.
Acts as a wrapper around memory allocation functionality.
Can be disabled by giving a "-disable-allocator" option to configure and the be re-implemented before including any other Gecode header.
Definition at line 60 of file allocator.hpp.
|
inline |
Default constructor.
Definition at line 76 of file allocator.hpp.
|
inline |
Allocate memory block of size n.
Definition at line 79 of file allocator.hpp.
|
inline |
Return address of reallocated memory block p of size n.
Definition at line 83 of file allocator.hpp.
|
inline |
Free memory block p.
Definition at line 87 of file allocator.hpp.
|
inline |
Copy n bytes from source s directly to d and returns d.
Definition at line 91 of file allocator.hpp.