Gecode::Int::Unary::ManProp< ManTask > Class Template Reference

Scheduling propagator for unary resource with mandatory tasks More...

#include <unary.hh>

Public Member Functions
virtual Actor *	copy (Space &home, bool share)
	Perform copying during cloning.
virtual ExecStatus	propagate (Space &home, const ModEventDelta &med)
	Perform propagation.
Public Member Functions inherited from Gecode::Int::TaskProp< ManTask, Int::PC_INT_BND >
virtual PropCost	cost (const Space &home, const ModEventDelta &med) const
	Cost function (defined as high linear)
virtual size_t	dispose (Space &home)
	Delete propagator and return its size.
Public Member Functions inherited from Gecode::Propagator
ModEventDelta	modeventdelta (void) const
	Return the modification event delta.
virtual ExecStatus	advise (Space &home, Advisor &a, const Delta &d)
	Advise function.
double	afc (void) const
	Return the accumlated failure count.

Static Public Member Functions
static ExecStatus	post (Home home, TaskArray< ManTask > &t)
	Post propagator that schedules tasks on unary resource.

Protected Member Functions
	ManProp (Home home, TaskArray< ManTask > &t)
	Constructor for creation.
	ManProp (Space &home, bool shared, ManProp &p)
	Constructor for cloning p.
Protected Member Functions inherited from Gecode::Int::TaskProp< ManTask, Int::PC_INT_BND >
	TaskProp (Home home, TaskArray< ManTask > &t)
	Constructor for creation.
	TaskProp (Space &home, bool shared, TaskProp< ManTask, pc > &p)
	Constructor for cloning p.
Protected Member Functions inherited from Gecode::Propagator
	Propagator (Home home)
	Constructor for posting.
	Propagator (Space &home, bool share, Propagator &p)
	Constructor for cloning p.

Additional Inherited Members
Protected Attributes inherited from Gecode::Int::TaskProp< ManTask, Int::PC_INT_BND >
TaskArray< ManTask >	t
	Tasks.

Detailed Description

template<class ManTask>
class Gecode::Int::Unary::ManProp< ManTask >

Scheduling propagator for unary resource with mandatory tasks

Requires

#include <gecode/int/unary.hh> 

Definition at line 787 of file unary.hh.

Constructor & Destructor Documentation

template<class ManTask >

Gecode::Int::Unary::ManProp< ManTask >::ManProp ( Home  home, TaskArray< ManTask > &  t  )

inlineprotected

Constructor for creation.

Definition at line 42 of file man-prop.hpp.

template<class ManTask >

Gecode::Int::Unary::ManProp< ManTask >::ManProp ( Space &  home, bool  shared, ManProp< ManTask > &  p  )

inlineprotected

Constructor for cloning p.

Definition at line 47 of file man-prop.hpp.

Member Function Documentation

template<class ManTask >

Actor * Gecode::Int::Unary::ManProp< ManTask >::copy ( Space &  home, bool  share  )

virtual

Perform copying during cloning.

Implements Gecode::Actor.

Definition at line 61 of file man-prop.hpp.

template<class ManTask >

ExecStatus Gecode::Int::Unary::ManProp< ManTask >::propagate ( Space &  home, const ModEventDelta &  med  )

virtual

Perform propagation.

Implements Gecode::Propagator.

Definition at line 67 of file man-prop.hpp.

template<class ManTask >

ExecStatus Gecode::Int::Unary::ManProp< ManTask >::post ( Home  home, TaskArray< ManTask > &  t  )

inlinestatic

Post propagator that schedules tasks on unary resource.

Definition at line 53 of file man-prop.hpp.

---

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

• gecode/int/unary.hh (Revision: 12197)
• gecode/int/unary/man-prop.hpp (Revision: 12022)