Gecode::Kernel Namespace Reference
Kernel functionality More...
Namespaces | |
namespace | MemoryConfig |
Parameters defining memory management policy for spaces. | |
namespace | Config |
Classes | |
class | FunctionBranch |
Brancher for calling a function More... | |
class | GPI |
Global propagator information. More... | |
class | MemoryChunk |
Memory chunk with size information. More... | |
class | HeapChunk |
Memory chunk allocated from heap with proper alignment. More... | |
class | SharedMemory |
Shared object for several memory areas. More... | |
class | MemoryManager |
Manage memory for space. More... | |
class | SharedSpaceData |
Class to store data shared among several spaces. More... |
Detailed Description
Kernel functionality
Kernel configuration parameters.