The shared data. More...
#include <shared-space-data.hpp>
Public Member Functions | |
Data (void) | |
Default constructor. More... | |
virtual | ~Data (void) |
Destructor. More... | |
![]() | |
Object (void) | |
Initialize. More... | |
virtual | ~Object (void) |
Delete shared object. More... | |
Public Attributes | |
SharedMemory | sm |
The shared memory area. More... | |
GPI | gpi |
The global propagator information. More... | |
Additional Inherited Members | |
![]() | |
static void * | operator new (size_t s) |
Memory management. More... | |
static void | operator delete (void *p) |
Free memory allocated from heap. More... | |
The shared data.
Definition at line 44 of file shared-space-data.hpp.
|
inline |
Default constructor.
Definition at line 70 of file shared-space-data.hpp.
|
inlinevirtual |
Destructor.
Definition at line 73 of file shared-space-data.hpp.
SharedMemory Gecode::Kernel::SharedSpaceData::Data::sm |
The shared memory area.
Definition at line 47 of file shared-space-data.hpp.
GPI Gecode::Kernel::SharedSpaceData::Data::gpi |
The global propagator information.
Definition at line 49 of file shared-space-data.hpp.