Test::Fault::NoticeDisposeActor Class Reference

Public Member Functions
	NoticeDisposeActor (Home home)
virtual Actor *	copy (Space &home)
	Create copy.
virtual size_t	dispose (Space &home)
	Delete actor and return its size.
virtual	~Actor (void)
	To avoid warnings.

Static Public Member Functions
static void	post (Home home)
static void *	operator new (size_t s, Space &home)
	Allocate memory from space.
static void	operator delete (void *p, Space &home)
	No-op for exceptions.
static void *	operator new (size_t s)
	Not used.
static void	operator delete (void *p)
	Not used.

Static Public Attributes
static int	disposed = 0

Detailed Description

Definition at line 219 of file fault.cpp.

Constructor & Destructor Documentation

NoticeDisposeActor()

Test::Fault::NoticeDisposeActor::NoticeDisposeActor ( Home home )

inline

Definition at line 223 of file fault.cpp.

Member Function Documentation

post()

void Test::Fault::NoticeDisposeActor::post ( Home home )

inlinestatic

Definition at line 226 of file fault.cpp.

copy()

virtual Actor * Test::Fault::NoticeDisposeActor::copy ( Space & home )

inlinevirtual

Create copy.

Implements Gecode::Actor.

Definition at line 229 of file fault.cpp.

dispose()

virtual size_t Test::Fault::NoticeDisposeActor::dispose ( Space & home )

inlinevirtual

Delete actor and return its size.

Reimplemented from Gecode::Actor.

Definition at line 232 of file fault.cpp.

Member Data Documentation

disposed

int Test::Fault::NoticeDisposeActor::disposed = 0

static

Definition at line 221 of file fault.cpp.

---

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

• test/fault.cpp