memory-manager.hpp File Reference

(Revision: 8731)

Go to the source code of this file.

Classes
class	Gecode::MemoryChunk
	Memory chunk with size information. More...
class	Gecode::HeapChunk
	Memory chunk allocated from heap with proper alignment. More...
class	Gecode::SharedMemory
	Shared object for several memory areas. More...
class	Gecode::FreeList
	Base-class for freelist-managed objects. More...
class	Gecode::MemoryManager
	Manage memory for space. More...
Namespaces
namespace	Gecode
	Gecode toplevel namespace.