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 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.

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:

• gecode/kernel/core.hpp (Revision: 10035)