Gecode::Scheduling::Unary Namespace Reference

Scheduling for unary resources. More...

Classes
class	ManFixTask
	Unary (mandatory) task with fixed processing time. More...
class	OptFixTask
	Unary optional task with fixed processing time. More...
class	OmegaNode
	Node for an omega tree. More...
class	OmegaTree
	Omega trees for computing ect of task sets. More...
class	OmegaLambdaNode
	Node for an omega lambda tree. More...
class	OmegaLambdaTree
	Omega-lambda trees for computing ect of task sets. More...
class	ManProp
	Scheduling propagator for unary resource with mandatory tasks. More...
class	OptProp
	Scheduling propagator for unary resource with optional tasks. More...
Typedefs
typedef ManFixTask	ManFixTaskFwd
	Forward mandatory fixed task view.
typedef FwdToBwd< ManFixTaskFwd >	ManFixTaskBwd
	Backward (dual) mandatory fixed task view.
typedef OptFixTask	OptFixTaskFwd
	Forward optional fixed task view.
typedef FwdToBwd< OptFixTaskFwd >	OptFixTaskBwd
	Backward (dual) optional fixed task view.
Functions
template<class ManTaskView >
ExecStatus	detectable (Space &home, TaskViewArray< ManTaskView > &t)
template<class ManTask >
ExecStatus	detectable (Space &home, TaskArray< ManTask > &t)
	Propagate detectable precedences.
template<class OptTaskView >
ExecStatus	detectable (Space &home, Propagator &p, TaskViewArray< OptTaskView > &t)
template<class OptTask >
ExecStatus	detectable (Space &home, Propagator &p, TaskArray< OptTask > &t)
	Propagate detectable precedences.
template<class TaskView >
ExecStatus	edgefinding (Space &home, TaskViewArray< TaskView > &t)
template<class Task >
ExecStatus	edgefinding (Space &home, TaskArray< Task > &t)
	Propagate by edge finding.
template<class ManTaskView >
ExecStatus	notlast (Space &home, TaskViewArray< ManTaskView > &t)
template<class ManTask >
ExecStatus	notfirstnotlast (Space &home, TaskArray< ManTask > &t)
	Propagate not-first and not-last.
template<class OptTaskView >
ExecStatus	notlast (Space &home, Propagator &p, TaskViewArray< OptTaskView > &t)
template<class OptTask >
ExecStatus	notfirstnotlast (Space &home, Propagator &p, TaskArray< OptTask > &t)
	Propagate not-first and not-last.
template<class ManTask >
ExecStatus	overload (Space &home, TaskArray< ManTask > &t)
	Check mandatory tasks t for overload.
template<class OptTask >
ExecStatus	overload (Space &home, Propagator &p, TaskArray< OptTask > &t)
	Check optional tasks t for overload.
template<class Task >
ExecStatus	subsumed (Space &home, Propagator &p, TaskArray< Task > &t)
	Check tasks t for subsumption.
template<class Char , class Traits >
std::basic_ostream< Char, Traits > &	operator<< (std::basic_ostream< Char, Traits > &os, const ManFixTaskBwd &t)
template<class Char , class Traits >
std::basic_ostream< Char, Traits > &	operator<< (std::basic_ostream< Char, Traits > &os, const ManFixTask &t)
template<class Char , class Traits >
std::basic_ostream< Char, Traits > &	operator<< (std::basic_ostream< Char, Traits > &os, const OptFixTask &t)

---

Detailed Description

Scheduling for unary resources.

The algorithms and data structures follow (mostly): Petr Vilím, Global Constraints in Scheduling, PhD thesis, Charles University, Prague, Czech Republic, 2007.

---

Typedef Documentation

typedef ManFixTask Gecode::Scheduling::Unary::ManFixTaskFwd

Forward mandatory fixed task view.

Definition at line 163 of file unary.hh.

typedef FwdToBwd<ManFixTaskFwd> Gecode::Scheduling::Unary::ManFixTaskBwd

Backward (dual) mandatory fixed task view.

Definition at line 166 of file unary.hh.

typedef OptFixTask Gecode::Scheduling::Unary::OptFixTaskFwd

Forward optional fixed task view.

Definition at line 169 of file unary.hh.

typedef FwdToBwd<OptFixTaskFwd> Gecode::Scheduling::Unary::OptFixTaskBwd

Backward (dual) optional fixed task view.

Definition at line 172 of file unary.hh.

---

Function Documentation

template<class ManTaskView >

ExecStatus Gecode::Scheduling::Unary::detectable	(	Space &	home,
		TaskViewArray< ManTaskView > &	t
	)			[inline]

Definition at line 42 of file detectable.hpp.

template<class ManTask >

ExecStatus Gecode::Scheduling::Unary::detectable	(	Space &	home,
		TaskArray< ManTask > &	t
	)			[inline]

Propagate detectable precedences.

template<class OptTaskView >

ExecStatus Gecode::Scheduling::Unary::detectable	(	Space &	home,
		Propagator &	p,
		TaskViewArray< OptTaskView > &	t
	)			[inline]

Definition at line 76 of file detectable.hpp.

template<class OptTask >

ExecStatus Gecode::Scheduling::Unary::detectable	(	Space &	home,
		Propagator &	p,
		TaskArray< OptTask > &	t
	)			[inline]

Propagate detectable precedences.

template<class TaskView >

ExecStatus Gecode::Scheduling::Unary::edgefinding	(	Space &	home,
		TaskViewArray< TaskView > &	t
	)			[inline]

Definition at line 44 of file edge-finding.hpp.

template<class Task >

ExecStatus Gecode::Scheduling::Unary::edgefinding	(	Space &	home,
		TaskArray< Task > &	t
	)			[inline]

Propagate by edge finding.

template<class ManTaskView >

ExecStatus Gecode::Scheduling::Unary::notlast	(	Space &	home,
		TaskViewArray< ManTaskView > &	t
	)			[inline]

Definition at line 44 of file not-first-not-last.hpp.

template<class ManTask >

ExecStatus Gecode::Scheduling::Unary::notfirstnotlast	(	Space &	home,
		TaskArray< ManTask > &	t
	)			[inline]

Propagate not-first and not-last.

template<class OptTaskView >

ExecStatus Gecode::Scheduling::Unary::notlast	(	Space &	home,
		Propagator &	p,
		TaskViewArray< OptTaskView > &	t
	)			[inline]

Definition at line 85 of file not-first-not-last.hpp.

template<class OptTask >

ExecStatus Gecode::Scheduling::Unary::notfirstnotlast	(	Space &	home,
		Propagator &	p,
		TaskArray< OptTask > &	t
	)			[inline]

Propagate not-first and not-last.

template<class ManTask >

ExecStatus Gecode::Scheduling::Unary::overload	(	Space &	home,
		TaskArray< ManTask > &	t
	)			[inline]

Check mandatory tasks t for overload.

template<class OptTask >

ExecStatus Gecode::Scheduling::Unary::overload	(	Space &	home,
		Propagator &	p,
		TaskArray< OptTask > &	t
	)			[inline]

Check optional tasks t for overload.

template<class Task >

ExecStatus Gecode::Scheduling::Unary::subsumed	(	Space &	home,
		Propagator &	p,
		TaskArray< Task > &	t
	)			[inline]

Check tasks t for subsumption.

template<class Char , class Traits >

std::basic_ostream< Char, Traits > & Gecode::Scheduling::Unary::operator<<	(	std::basic_ostream< Char, Traits > &	os,
		const ManFixTaskBwd &	t
	)			[inline]

Definition at line 51 of file task-view.hpp.

template<class Char , class Traits >

std::basic_ostream<Char,Traits>& Gecode::Scheduling::Unary::operator<<	(	std::basic_ostream< Char, Traits > &	os,
		const ManFixTask &	t
	)			[inline]

Definition at line 116 of file task.hpp.

template<class Char , class Traits >

std::basic_ostream<Char,Traits>& Gecode::Scheduling::Unary::operator<<	(	std::basic_ostream< Char, Traits > &	os,
		const OptFixTask &	t
	)			[inline]

Definition at line 141 of file task.hpp.