Gecode::Int::Unary::ManFixPTask Class Reference

Unary (mandatory) task with fixed processing time More...

#include <unary.hh>

List of all members.

Protected Attributes
Int::IntView	_s
	Start time.
int	_p
	Processing time.
Constructors and initialization
	ManFixPTask (void)
	Default constructor.
	ManFixPTask (IntVar s, int p)
	Initialize with start time s and processing time p.
void	init (IntVar s, int p)
	Initialize with start time s and processing time p.
void	init (const ManFixPTask &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.
IntVar	st (void) const
	Return start time.
bool	mandatory (void) const
	Whether task is mandatory.
bool	excluded (void) const
	Whether task is excluded.
bool	optional (void) const
	Whether task can still be optional.
Domain tests
bool	assigned (void) const
	Test whether task is assigned.
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.
ModEvent	mandatory (Space &home)
	Mark task as mandatory.
ModEvent	excluded (Space &home)
	Mark task as excluded.
Cloning
void	update (Space &home, bool share, ManFixPTask &t)
	Update this task to be a clone of task t.
Dependencies
void	subscribe (Space &home, Propagator &p, PropCond pc=Int::PC_INT_BND)
	Subscribe propagator p to task.
void	cancel (Space &home, Propagator &p, PropCond pc=Int::PC_INT_BND)
	Cancel subscription of propagator p for task.

---

Detailed Description

Unary (mandatory) task with fixed processing time

Definition at line 58 of file unary.hh.

---

Constructor & Destructor Documentation

ManFixPTask::ManFixPTask

(

void

)

[inline]

Default constructor.

Reimplemented in Gecode::Int::Cumulative::ManFixPTask.

Definition at line 47 of file task.hpp.

ManFixPTask::ManFixPTask	(	IntVar	s,
		int	p
	)			[inline]

Initialize with start time s and processing time p.

Definition at line 49 of file task.hpp.

---

Member Function Documentation

void ManFixPTask::init	(	IntVar	s,
		int	p
	)			[inline]

Initialize with start time s and processing time p.

Definition at line 51 of file task.hpp.

void ManFixPTask::init

(

const ManFixPTask &

t

)

[inline]

Initialize from task t.

Definition at line 55 of file task.hpp.

int ManFixPTask::est

(

void

)

const [inline]

Return earliest start time.

Reimplemented in Gecode::Int::Unary::ManFixPSETask.

Definition at line 60 of file task.hpp.

int ManFixPTask::ect

(

void

)

const [inline]

Return earliest completion time.

Reimplemented in Gecode::Int::Unary::ManFixPSETask.

Definition at line 64 of file task.hpp.

int ManFixPTask::lst

(

void

)

const [inline]

Return latest start time.

Reimplemented in Gecode::Int::Unary::ManFixPSETask.

Definition at line 68 of file task.hpp.

int ManFixPTask::lct

(

void

)

const [inline]

Return latest completion time.

Reimplemented in Gecode::Int::Unary::ManFixPSETask.

Definition at line 72 of file task.hpp.

int ManFixPTask::pmin

(

void

)

const [inline]

Return minimum processing time.

Reimplemented in Gecode::Int::Unary::ManFixPSETask.

Definition at line 76 of file task.hpp.

int ManFixPTask::pmax

(

void

)

const [inline]

Return maximum processing time.

Reimplemented in Gecode::Int::Unary::ManFixPSETask.

Definition at line 80 of file task.hpp.

IntVar ManFixPTask::st

(

void

)

const [inline]

Return start time.

Definition at line 84 of file task.hpp.

bool ManFixPTask::mandatory

(

void

)

const [inline]

Whether task is mandatory.

Definition at line 89 of file task.hpp.

bool ManFixPTask::excluded

(

void

)

const [inline]

Whether task is excluded.

Definition at line 93 of file task.hpp.

bool ManFixPTask::optional

(

void

)

const [inline]

Whether task can still be optional.

Definition at line 97 of file task.hpp.

bool ManFixPTask::assigned

(

void

)

const [inline]

Test whether task is assigned.

Definition at line 102 of file task.hpp.

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

Update earliest start time to n.

Reimplemented in Gecode::Int::Unary::ManFixPSETask.

Definition at line 107 of file task.hpp.

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

Update earliest completion time to n.

Reimplemented in Gecode::Int::Unary::ManFixPSETask.

Definition at line 111 of file task.hpp.

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

Update latest start time to n.

Reimplemented in Gecode::Int::Unary::ManFixPSETask.

Definition at line 115 of file task.hpp.

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

Update latest completion time to n.

Reimplemented in Gecode::Int::Unary::ManFixPSETask.

Definition at line 119 of file task.hpp.

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

Update such that task cannot run from e to l.

Reimplemented in Gecode::Int::Unary::ManFixPSETask.

Definition at line 123 of file task.hpp.

ModEvent ManFixPTask::mandatory

(

Space &

home

)

[inline]

Mark task as mandatory.

Definition at line 134 of file task.hpp.

ModEvent ManFixPTask::excluded

(

Space &

home

)

[inline]

Mark task as excluded.

Definition at line 138 of file task.hpp.

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

Update this task to be a clone of task t.

Definition at line 143 of file task.hpp.

void ManFixPTask::subscribe	(	Space &	home,
		Propagator &	p,
		PropCond	pc = Int::PC_INT_BND
	)			[inline]

Subscribe propagator p to task.

Definition at line 148 of file task.hpp.

void ManFixPTask::cancel	(	Space &	home,
		Propagator &	p,
		PropCond	pc = Int::PC_INT_BND
	)			[inline]

Cancel subscription of propagator p for task.

Definition at line 152 of file task.hpp.

---

Member Data Documentation

Int::IntView Gecode::Int::Unary::ManFixPTask::_s [protected]

Start time.

Definition at line 61 of file unary.hh.

int Gecode::Int::Unary::ManFixPTask::_p [protected]

Processing time.

Definition at line 63 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)