Test::Fault::ThrowingPropagator Class Reference

Public Member Functions
virtual Actor *	copy (Space &home)
	Create copy.
virtual PropCost	cost (const Space &, const ModEventDelta &) const
	Cost function.
virtual void	reschedule (Space &)
	Schedule function.
virtual ExecStatus	propagate (Space &home, const ModEventDelta &)
	Propagation function.
virtual size_t	dispose (Space &home)
	Delete actor and return its size.
ModEventDelta	modeventdelta (void) const
	Return the modification event delta.
virtual ExecStatus	advise (Space &home, Advisor &a, const Delta &d)
	Advise function.
virtual void	advise (Space &home, Advisor &a)
	Run advisor a to be run on failure in failed space.
double	afc (void) const
	Return the accumulated failure count.
unsigned int	id (void) const
	Return propagator id.
PropagatorGroup	group (void) const
	Return group propagator belongs to.
void	group (PropagatorGroup g)
	Add propagator to group g.
bool	disabled (void) const
	Whether propagator is currently disabled.
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.

Protected Member Functions
	ThrowingPropagator (Home home)
	ThrowingPropagator (Space &home, ThrowingPropagator &p)
Protected Member Functions inherited from Gecode::Propagator
	Propagator (Home home)
	Constructor for posting.
	Propagator (Space &home, Propagator &p)
	Constructor for cloning p.
Propagator *	fwd (void) const
	Return forwarding pointer during copying.
Kernel::GPI::Info &	gpi (void)
	Provide access to global propagator information.

Detailed Description

Definition at line 58 of file fault.cpp.

Constructor & Destructor Documentation

ThrowingPropagator() [1/2]

Test::Fault::ThrowingPropagator::ThrowingPropagator ( Home home )

inlineprotected

Definition at line 60 of file fault.cpp.

ThrowingPropagator() [2/2]

Test::Fault::ThrowingPropagator::ThrowingPropagator ( Space & home, ThrowingPropagator & p )

inlineprotected

Definition at line 61 of file fault.cpp.

Member Function Documentation

post()

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

inlinestatic

Definition at line 66 of file fault.cpp.

copy()

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

inlinevirtual

Create copy.

Implements Gecode::Actor.

Definition at line 69 of file fault.cpp.

cost()

virtual PropCost Test::Fault::ThrowingPropagator::cost ( const Space & home, const ModEventDelta & med ) const

inlinevirtual

Cost function.

Implements Gecode::Propagator.

Definition at line 72 of file fault.cpp.

reschedule()

virtual void Test::Fault::ThrowingPropagator::reschedule ( Space & home )

inlinevirtual

Schedule function.

The function is executed when a propagator is enabled again. Note that a propagator should be scheduled with the right modification event delta and should only be scheduled if it is legal to execute the propagator.

Implements Gecode::Propagator.

Definition at line 75 of file fault.cpp.

propagate()

virtual ExecStatus Test::Fault::ThrowingPropagator::propagate ( Space & home, const ModEventDelta & med )

inlinevirtual

Propagation function.

The propagation function must return an execution status as follows:

• ES_FAILED: the propagator has detected failure
• ES_NOFIX: the propagator has done propagation
• ES_FIX: the propagator has done propagation and has computed a fixpoint. That is, running the propagator immediately again will do nothing.

Apart from the above values, a propagator can return the result from calling one of the functions defined by a space:

• ES_SUBSUMED: the propagator is subsumed and has been already deleted.
• ES_NOFIX_PARTIAL: the propagator has consumed some of its propagation events.
• ES_FIX_PARTIAL: the propagator has consumed some of its propagation events and with respect to these events is at fixpoint For more details, see the individual functions.

Implements Gecode::Propagator.

Definition at line 76 of file fault.cpp.

dispose()

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

inlinevirtual

Delete actor and return its size.

Reimplemented from Gecode::Actor.

Definition at line 79 of file fault.cpp.

---

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

• test/fault.cpp