Base-class for freelist-managed objects. More...
#include <manager.hpp>
Public Member Functions | |
FreeList (void) | |
Use uninitialized. | |
FreeList (FreeList *n) | |
Initialize with next freelist object n. | |
FreeList * | next (void) const |
Return next freelist object. | |
FreeList ** | nextRef (void) |
Return pointer to next link in freelist object. | |
void | next (FreeList *n) |
Set next freelist object to n. | |
Protected Attributes | |
FreeList * | _next |
Pointer to next freelist object. | |
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 98 of file manager.hpp.
|
inline |
Use uninitialized.
Definition at line 241 of file manager.hpp.
|
inline |
Initialize with next freelist object n.
Definition at line 244 of file manager.hpp.
|
inline |
Return next freelist object.
Definition at line 248 of file manager.hpp.
|
inline |
Return pointer to next link in freelist object.
Definition at line 253 of file manager.hpp.
|
inline |
Set next freelist object to n.
Definition at line 258 of file manager.hpp.
|
protected |
Pointer to next freelist object.
Definition at line 101 of file manager.hpp.