Base-class for freelist-managed objects. More...
#include <memory-manager.hpp>
Public Member Functions | |
FreeList (void) | |
Use uninitialized. More... | |
FreeList (FreeList *n) | |
Initialize with next freelist object n. More... | |
FreeList * | next (void) const |
Return next freelist object. More... | |
FreeList ** | nextRef (void) |
Return pointer to next link in freelist object. More... | |
void | next (FreeList *n) |
Set next freelist object to n. More... | |
Protected Attributes | |
FreeList * | _next |
Pointer to next freelist object. More... | |
Base-class for freelist-managed objects.
Freelist-managed object must inherit from this class. The size of objects of subclasses is defined by the parameters in Gecode::MemoryConfig.
Definition at line 123 of file memory-manager.hpp.
|
inline |
Use uninitialized.
Definition at line 288 of file memory-manager.hpp.
|
inline |
Initialize with next freelist object n.
Definition at line 291 of file memory-manager.hpp.
|
inline |
Return next freelist object.
Definition at line 295 of file memory-manager.hpp.
|
inline |
Return pointer to next link in freelist object.
Definition at line 300 of file memory-manager.hpp.
|
inline |
Set next freelist object to n.
Definition at line 305 of file memory-manager.hpp.
|
protected |
Pointer to next freelist object.
Definition at line 126 of file memory-manager.hpp.