Generated on Mon Nov 30 23:53:46 2009 for Gecode by doxygen 1.6.1

Gecode::CopiedHandle::Object Class Reference
[Support for copied and shared objects and handles]

The copied object. More...

#include <core.hpp>

List of all members.

Public Member Functions

 Object (void)
 Initialize.
virtual Objectcopy (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.

Definition at line 2213 of file core.hpp.

Gecode::CopiedHandle::Object::~Object ( void   )  [inline, virtual]

Delete object.

Reimplemented in Gecode::SharedHandle::Object.

Definition at line 2216 of file core.hpp.


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]

Allocate memory from space.

Definition at line 2204 of file core.hpp.

void Gecode::CopiedHandle::Object::operator delete ( void *  ,
size_t   
) [inline, static]

Free memory.

Definition at line 2200 of file core.hpp.

void Gecode::CopiedHandle::Object::operator delete ( void *  ,
Space  
) [inline, static]

No-op (for exceptions).

Definition at line 2202 of file core.hpp.


The documentation for this class was generated from the following file: