Test::Fault::FaultLocalObject Class Reference

Public Member Functions
	FaultLocalObject (Home home, int v)
	FaultLocalObject (Space &home, FaultLocalObject &o)
virtual Actor *	copy (Space &home)
	Create copy.
virtual size_t	dispose (Space &)
	Delete actor and return its size.
Public Member Functions inherited from Gecode::LocalObject
LocalObject *	fwd (Space &home)
	Return forwarding pointer.
virtual	~Actor (void)
	To avoid warnings.

Public Attributes
int	value

Additional Inherited Members
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.
Protected Member Functions inherited from Gecode::LocalObject
	LocalObject (Home home)
	Constructor for creation.
	LocalObject (Space &home, LocalObject &l)
	Copy constructor.
Static Protected Member Functions inherited from Gecode::LocalObject
static LocalObject *	cast (ActorLink *al)
	Static cast for a non-null pointer (to give a hint to optimizer).
static const LocalObject *	cast (const ActorLink *al)
	Static cast for a non-null pointer (to give a hint to optimizer).

Detailed Description

Definition at line 300 of file fault.cpp.

Constructor & Destructor Documentation

FaultLocalObject() [1/2]

Test::Fault::FaultLocalObject::FaultLocalObject ( Home home, int v )

inline

Definition at line 303 of file fault.cpp.

FaultLocalObject() [2/2]

Test::Fault::FaultLocalObject::FaultLocalObject ( Space & home, FaultLocalObject & o )

inline

Definition at line 304 of file fault.cpp.

Member Function Documentation

copy()

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

inlinevirtual

Create copy.

Implements Gecode::Actor.

Definition at line 308 of file fault.cpp.

dispose()

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

inlinevirtual

Delete actor and return its size.

Reimplemented from Gecode::Actor.

Definition at line 311 of file fault.cpp.

Member Data Documentation

value

int Test::Fault::FaultLocalObject::value

Definition at line 302 of file fault.cpp.

---

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

• test/fault.cpp