Gecode::FlatZinc::FlatZincSpace::OnRestartHandle Class Reference

#include <gecode/flatzinc.hh>

Classes
class	OnRestartData

Public Member Functions
	OnRestartHandle ()
	OnRestartHandle (const OnRestartHandle &handle)
OnRestartHandle &	operator= (const OnRestartHandle &handle)
virtual	~OnRestartHandle ()
void	init ()
bool	initialized () const
OnRestartData &	operator() ()
Public Member Functions inherited from Gecode::SharedHandle
	SharedHandle (void)
	Create shared handle with no object pointing to.
	SharedHandle (SharedHandle::Object *so)
	Create shared handle that points to shared object so.
	SharedHandle (const SharedHandle &sh)
	Copy constructor maintaining reference count.
SharedHandle &	operator= (const SharedHandle &sh)
	Assignment operator maintaining reference count.
	~SharedHandle (void)
	Destructor that maintains reference count.
	operator bool (void) const
	Whether handle points to an object.

Additional Inherited Members
Protected Member Functions inherited from Gecode::SharedHandle
SharedHandle::Object *	object (void) const
	Access to the shared object.
void	object (SharedHandle::Object *n)
	Modify shared object.

Detailed Description

Definition at line 490 of file flatzinc.hh.

Constructor & Destructor Documentation

OnRestartHandle() [1/2]

Gecode::FlatZinc::FlatZincSpace::OnRestartHandle::OnRestartHandle ( )

inline

Definition at line 522 of file flatzinc.hh.

OnRestartHandle() [2/2]

Gecode::FlatZinc::FlatZincSpace::OnRestartHandle::OnRestartHandle ( const OnRestartHandle & handle )

inline

Definition at line 523 of file flatzinc.hh.

~OnRestartHandle()

virtual Gecode::FlatZinc::FlatZincSpace::OnRestartHandle::~OnRestartHandle ( )

inlinevirtual

Definition at line 527 of file flatzinc.hh.

Member Function Documentation

operator=()

OnRestartHandle & Gecode::FlatZinc::FlatZincSpace::OnRestartHandle::operator= ( const OnRestartHandle & handle )

inline

Definition at line 524 of file flatzinc.hh.

init()

void Gecode::FlatZinc::FlatZincSpace::OnRestartHandle::init ( )

inline

Definition at line 529 of file flatzinc.hh.

initialized()

bool Gecode::FlatZinc::FlatZincSpace::OnRestartHandle::initialized ( ) const

inline

Definition at line 534 of file flatzinc.hh.

operator()()

OnRestartData & Gecode::FlatZinc::FlatZincSpace::OnRestartHandle::operator() ( )

inline

Definition at line 535 of file flatzinc.hh.

---

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

• gecode/flatzinc.hh