Test::Fault::FaultLocalHandle Class Reference

Public Member Functions
	FaultLocalHandle (void)
	FaultLocalHandle (FaultLocalObject *o)
void	update (Space &home, FaultLocalHandle &h)
int	value (void) const
Public Member Functions inherited from Gecode::LocalHandle
LocalHandle &	operator= (const LocalHandle &lh)
	Assignment operator.
void	update (Space &home, LocalHandle &lh)
	Updating during cloning.
	~LocalHandle (void)
	Destructor.

Additional Inherited Members
Protected Member Functions inherited from Gecode::LocalHandle
	LocalHandle (void)
	Create local handle pointing to nullptr object.
	LocalHandle (LocalObject *lo)
	Create local handle that points to local object lo.
	LocalHandle (const LocalHandle &lh)
	Copy constructor.
LocalObject *	object (void) const
	Access to the local object.
void	object (LocalObject *n)
	Modify local object.

Detailed Description

Definition at line 316 of file fault.cpp.

Constructor & Destructor Documentation

FaultLocalHandle() [1/2]

Test::Fault::FaultLocalHandle::FaultLocalHandle ( void )

inline

Definition at line 318 of file fault.cpp.

FaultLocalHandle() [2/2]

Test::Fault::FaultLocalHandle::FaultLocalHandle ( FaultLocalObject * o )

inline

Definition at line 319 of file fault.cpp.

Member Function Documentation

update()

void Test::Fault::FaultLocalHandle::update ( Space & home, FaultLocalHandle & h )

inline

Definition at line 320 of file fault.cpp.

value()

int Test::Fault::FaultLocalHandle::value ( void ) const

inline

Definition at line 323 of file fault.cpp.

---

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

• test/fault.cpp