Gecode::Int::TaskProp< Task, PL > Class Template Reference
[Integer propagators]

Propagator for tasks More...

#include <task.hh>

List of all members.

Public Member Functions
virtual PropCost	cost (const Space &home, const ModEventDelta &med) const
	Cost function (defined as high linear).
virtual void	reschedule (Space &home)
	Schedule function.
virtual size_t	dispose (Space &home)
	Delete propagator and return its size.
Protected Member Functions
	TaskProp (Home home, TaskArray< Task > &t)
	Constructor for creation.
	TaskProp (Space &home, bool shared, TaskProp< Task, PL > &p)
	Constructor for cloning p.
Protected Attributes
TaskArray< Task >	t
	Tasks.

---

Detailed Description

template<class Task, class PL>
class Gecode::Int::TaskProp< Task, PL >

Propagator for tasks

Requires

 #include <gecode/int/task.hh> 

Definition at line 428 of file task.hh.

---

Constructor & Destructor Documentation

template<class Task, class PL >

Gecode::Int::TaskProp< Task, PL >::TaskProp	(	Home	home,
		TaskArray< Task > &	t
	)			[inline, protected]

Constructor for creation.

Definition at line 42 of file prop.hpp.

template<class Task, class PL>

Gecode::Int::TaskProp< Task, PL >::TaskProp	(	Space &	home,
		bool	shared,
		TaskProp< Task, PL > &	p
	)			[inline, protected]

Constructor for cloning p.

Definition at line 49 of file prop.hpp.

---

Member Function Documentation

template<class Task , class PL >

PropCost Gecode::Int::TaskProp< Task, PL >::cost	(	const Space &	home,
		const ModEventDelta &	med
	)			const [inline, virtual]

Cost function (defined as high linear).

Implements Gecode::Propagator.

Definition at line 56 of file prop.hpp.

template<class Task , class PL >

void Gecode::Int::TaskProp< Task, PL >::reschedule

(

Space &

home

)

[inline, virtual]

Schedule function.

Implements Gecode::Propagator.

Definition at line 62 of file prop.hpp.

template<class Task , class PL >

size_t Gecode::Int::TaskProp< Task, PL >::dispose

(

Space &

home

)

[inline, virtual]

Delete propagator and return its size.

Reimplemented from Gecode::Actor.

Reimplemented in Gecode::Int::Cumulative::ManProp< ManTask, Cap, PL >, and Gecode::Int::Cumulative::OptProp< OptTask, Cap, PL >.

Definition at line 68 of file prop.hpp.

---

Member Data Documentation

template<class Task, class PL>

TaskArray<Task> Gecode::Int::TaskProp< Task, PL >::t [protected]

Tasks.

Definition at line 431 of file task.hh.

---

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

• gecode/int/task.hh (Revision: 15137)
• gecode/int/task/prop.hpp (Revision: 15137)