Test::Fault::ThrowingAdvisor Class Reference

Public Member Functions
	ThrowingAdvisor (Space &home, Propagator &p, Council< ThrowingAdvisor > &c, int id0)
	ThrowingAdvisor (Space &home, ThrowingAdvisor &a)
Propagator *	owner (void) const
void	dispose (Space &home, Council< ThrowingAdvisor > &c)
Public Member Functions inherited from Gecode::Advisor
template<class A>
	Advisor (Space &home, Propagator &p, Council< A > &c)
	Constructor for creation.
	Advisor (Space &home, Advisor &a)
	Copying constructor.
const ViewTraceInfo &	operator() (const Space &home) const
	Provide access to view trace information.
template<class A>
void	dispose (Space &home, Council< A > &c)
	Dispose the advisor.

Protected Attributes
int	id

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.
Protected Member Functions inherited from Gecode::Advisor
Propagator &	propagator (void) const
	Return the advisor's propagator.

Detailed Description

Definition at line 87 of file fault.cpp.

Constructor & Destructor Documentation

ThrowingAdvisor() [1/2]

Test::Fault::ThrowingAdvisor::ThrowingAdvisor ( Space & home, Propagator & p, Council< ThrowingAdvisor > & c, int id0 )

inline

Definition at line 91 of file fault.cpp.

ThrowingAdvisor() [2/2]

Test::Fault::ThrowingAdvisor::ThrowingAdvisor ( Space & home, ThrowingAdvisor & a )

inline

Definition at line 94 of file fault.cpp.

Member Function Documentation

owner()

Propagator * Test::Fault::ThrowingAdvisor::owner ( void ) const

inline

Definition at line 98 of file fault.cpp.

dispose()

void Test::Fault::ThrowingAdvisor::dispose ( Space & home, Council< ThrowingAdvisor > & c )

inline

Definition at line 101 of file fault.cpp.

Member Data Documentation

id

int Test::Fault::ThrowingAdvisor::id

protected

Definition at line 89 of file fault.cpp.

---

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

• test/fault.cpp