Gecode::CopiedHandle::Object Class Reference
[Support for copied and shared objects and handles]
The copied object. More...
#include <core.hpp>
Public Member Functions | |
Object (void) | |
Initialize. | |
virtual Object * | copy (void) const =0 |
Return fresh copy for update. | |
virtual | ~Object (void) |
Delete object. | |
Static Public Member Functions | |
static void * | operator new (size_t, Space &) |
Allocate memory from space. | |
static void | operator delete (void *, size_t) |
Free memory. | |
static void | operator delete (void *, Space &) |
No-op (for exceptions). |
Detailed Description
The copied object.
Copied objects must inherit from this base class.
Definition at line 89 of file core.hpp.
Constructor & Destructor Documentation
Gecode::CopiedHandle::Object::Object | ( | void | ) | [inline] |
Initialize.
Reimplemented in Gecode::SharedHandle::Object.
Gecode::CopiedHandle::Object::~Object | ( | void | ) | [inline, virtual] |
Delete object.
Reimplemented in Gecode::SharedHandle::Object.
Member Function Documentation
virtual Object* Gecode::CopiedHandle::Object::copy | ( | void | ) | const [pure virtual] |
Return fresh copy for update.
Implemented in Gecode::DFA::DFAI, Gecode::TupleSet::TupleSetI, and Gecode::SharedArray< T >::SAO.
void * Gecode::CopiedHandle::Object::operator new | ( | size_t | s, | |
Space & | home | |||
) | [inline, static] |
void Gecode::CopiedHandle::Object::operator delete | ( | void * | , | |
size_t | ||||
) | [inline, static] |
void Gecode::CopiedHandle::Object::operator delete | ( | void * | , | |
Space & | ||||
) | [inline, static] |
The documentation for this class was generated from the following file:
- gecode/kernel/core.hpp (Revision: 10035)