Gecode::Int::Unary::ManFixPSETask Class Reference

Unary (mandatory) task with fixed processing, start or end time More...

#include <unary.hh>

List of all members.

Protected Attributes
TaskType	_t
	Task type.
Constructors and initialization
	ManFixPSETask (void)
	Default constructor.
	ManFixPSETask (TaskType t, IntVar s, int p)
	Initialize task.
void	init (TaskType t, IntVar s, int p)
	Initialize task.
void	init (const ManFixPSETask &t)
	Initialize from task t.
Value access
int	est (void) const
	Return earliest start time.
int	ect (void) const
	Return earliest completion time.
int	lst (void) const
	Return latest start time.
int	lct (void) const
	Return latest completion time.
int	pmin (void) const
	Return minimum processing time.
int	pmax (void) const
	Return maximum processing time.
Value update
ModEvent	est (Space &home, int n)
	Update earliest start time to n.
ModEvent	ect (Space &home, int n)
	Update earliest completion time to n.
ModEvent	lst (Space &home, int n)
	Update latest start time to n.
ModEvent	lct (Space &home, int n)
	Update latest completion time to n.
ModEvent	norun (Space &home, int e, int l)
	Update such that task cannot run from e to l.
Cloning
void	update (Space &home, bool share, ManFixPSETask &t)
	Update this task to be a clone of task t.

---

Detailed Description

Unary (mandatory) task with fixed processing, start or end time

Definition at line 150 of file unary.hh.

---

Constructor & Destructor Documentation

ManFixPSETask::ManFixPSETask

(

void

)

[inline]

Default constructor.

Reimplemented in Gecode::Int::Cumulative::ManFixPSETask.

Definition at line 170 of file task.hpp.

ManFixPSETask::ManFixPSETask	(	TaskType	t,
		IntVar	s,
		int	p
	)		[inline]

Initialize task.

Depending on t, s is either the end time (if t is TT_FIXS) or the start time of the task, and p is the fixed parameter.

Definition at line 172 of file task.hpp.

---

Member Function Documentation

void ManFixPSETask::init	(	TaskType	t,
		IntVar	s,
		int	p
	)		[inline]

Initialize task.

Depending on t, s is either the end time (if t is FIXS) or the start time of the task, and p is the fixed parameter.

Definition at line 175 of file task.hpp.

void ManFixPSETask::init

(

const ManFixPSETask &

t

)

[inline]

Initialize from task t.

Definition at line 179 of file task.hpp.

int ManFixPSETask::est

(

void

)

const [inline]

Return earliest start time.

Reimplemented from Gecode::Int::Unary::ManFixPTask.

Definition at line 184 of file task.hpp.

int ManFixPSETask::ect

(

void

)

const [inline]

Return earliest completion time.

Reimplemented from Gecode::Int::Unary::ManFixPTask.

Definition at line 188 of file task.hpp.

int ManFixPSETask::lst

(

void

)

const [inline]

Return latest start time.

Reimplemented from Gecode::Int::Unary::ManFixPTask.

Definition at line 198 of file task.hpp.

int ManFixPSETask::lct

(

void

)

const [inline]

Return latest completion time.

Reimplemented from Gecode::Int::Unary::ManFixPTask.

Definition at line 202 of file task.hpp.

int ManFixPSETask::pmin

(

void

)

const [inline]

Return minimum processing time.

Reimplemented from Gecode::Int::Unary::ManFixPTask.

Definition at line 212 of file task.hpp.

int ManFixPSETask::pmax

(

void

)

const [inline]

Return maximum processing time.

Reimplemented from Gecode::Int::Unary::ManFixPTask.

Definition at line 222 of file task.hpp.

ModEvent ManFixPSETask::est	(	Space &	home,
		int	n
	)		[inline]

Update earliest start time to n.

Reimplemented from Gecode::Int::Unary::ManFixPTask.

Definition at line 233 of file task.hpp.

ModEvent ManFixPSETask::ect	(	Space &	home,
		int	n
	)		[inline]

Update earliest completion time to n.

Reimplemented from Gecode::Int::Unary::ManFixPTask.

Definition at line 243 of file task.hpp.

ModEvent ManFixPSETask::lst	(	Space &	home,
		int	n
	)		[inline]

Update latest start time to n.

Reimplemented from Gecode::Int::Unary::ManFixPTask.

Definition at line 253 of file task.hpp.

ModEvent ManFixPSETask::lct	(	Space &	home,
		int	n
	)		[inline]

Update latest completion time to n.

Reimplemented from Gecode::Int::Unary::ManFixPTask.

Definition at line 263 of file task.hpp.

ModEvent ManFixPSETask::norun	(	Space &	home,
		int	e,
		int	l
	)		[inline]

Update such that task cannot run from e to l.

Reimplemented from Gecode::Int::Unary::ManFixPTask.

Definition at line 273 of file task.hpp.

void ManFixPSETask::update	(	Space &	home,
		bool	share,
		ManFixPSETask &	t
	)		[inline]

Update this task to be a clone of task t.

Definition at line 299 of file task.hpp.

---

Member Data Documentation

TaskType Gecode::Int::Unary::ManFixPSETask::_t [protected]

Task type.

Definition at line 153 of file unary.hh.

---

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

• gecode/int/unary.hh (Revision: 12197)
• gecode/int/unary/task.hpp (Revision: 12022)