Gecode::Int::Unary Namespace Reference

Int for unary resources More...

Classes
class	ManFixPTask
	Unary (mandatory) task with fixed processing time More...
class	ManFixPSETask
	Unary (mandatory) task with fixed processing, start or end time More...
class	OptFixPTask
	Unary optional task with fixed processing time More...
class	OptFixPSETask
	Unary optional task with fixed processing, start or end time. More...
class	ManFlexTask
	Unary (mandatory) task with flexible processing time More...
class	OptFlexTask
	Unary optional task with flexible 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 ManFixPTask	ManFixPTaskFwd
	Forward mandatory fixed task view.
typedef FwdToBwd< ManFixPTaskFwd >	ManFixPTaskBwd
	Backward (dual) mandatory fixed task view.
typedef ManFixPSETask	ManFixPSETaskFwd
	Forward mandatory fixed task view.
typedef FwdToBwd < ManFixPSETaskFwd >	ManFixPSETaskBwd
	Backward (dual) mandatory fixed task view.
typedef OptFixPTask	OptFixPTaskFwd
	Forward optional fixed task view.
typedef FwdToBwd< OptFixPTaskFwd >	OptFixPTaskBwd
	Backward (dual) optional fixed task view.
typedef OptFixPSETask	OptFixPSETaskFwd
	Forward optional fixed task view.
typedef FwdToBwd < OptFixPSETaskFwd >	OptFixPSETaskBwd
	Backward (dual) optional fixed task view.
typedef ManFlexTask	ManFlexTaskFwd
	Forward mandatory flexible task view.
typedef FwdToBwd< ManFlexTaskFwd >	ManFlexTaskBwd
	Backward (dual) mandatory flexible task view.
typedef OptFlexTask	OptFlexTaskFwd
	Forward optional flexible task view.
typedef FwdToBwd< OptFlexTaskFwd >	OptFlexTaskBwd
	Backward (dual) optional flexible 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 ManFixPTaskBwd &t)
template<class Char , class Traits >
std::basic_ostream< Char, Traits > &	operator<< (std::basic_ostream< Char, Traits > &os, const ManFixPTask &t)
template<class Char , class Traits >
std::basic_ostream< Char, Traits > &	operator<< (std::basic_ostream< Char, Traits > &os, const ManFixPSETask &t)
template<class Char , class Traits >
std::basic_ostream< Char, Traits > &	operator<< (std::basic_ostream< Char, Traits > &os, const ManFlexTask &t)
template<class Char , class Traits >
std::basic_ostream< Char, Traits > &	operator<< (std::basic_ostream< Char, Traits > &os, const OptFixPTask &t)
template<class Char , class Traits >
std::basic_ostream< Char, Traits > &	operator<< (std::basic_ostream< Char, Traits > &os, const OptFixPSETask &t)
template<class Char , class Traits >
std::basic_ostream< Char, Traits > &	operator<< (std::basic_ostream< Char, Traits > &os, const OptFlexTask &t)

Detailed Description

Int for unary resources

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

Typedef Documentation

typedef ManFixPTask Gecode::Int::Unary::ManFixPTaskFwd

Forward mandatory fixed task view.

Definition at line 400 of file unary.hh.

typedef FwdToBwd<ManFixPTaskFwd> Gecode::Int::Unary::ManFixPTaskBwd

Backward (dual) mandatory fixed task view.

Definition at line 403 of file unary.hh.

typedef ManFixPSETask Gecode::Int::Unary::ManFixPSETaskFwd

Forward mandatory fixed task view.

Definition at line 406 of file unary.hh.

typedef FwdToBwd<ManFixPSETaskFwd> Gecode::Int::Unary::ManFixPSETaskBwd

Backward (dual) mandatory fixed task view.

Definition at line 409 of file unary.hh.

typedef OptFixPTask Gecode::Int::Unary::OptFixPTaskFwd

Forward optional fixed task view.

Definition at line 412 of file unary.hh.

typedef FwdToBwd<OptFixPTaskFwd> Gecode::Int::Unary::OptFixPTaskBwd

Backward (dual) optional fixed task view.

Definition at line 415 of file unary.hh.

typedef OptFixPSETask Gecode::Int::Unary::OptFixPSETaskFwd

Forward optional fixed task view.

Definition at line 418 of file unary.hh.

typedef FwdToBwd<OptFixPSETaskFwd> Gecode::Int::Unary::OptFixPSETaskBwd

Backward (dual) optional fixed task view.

Definition at line 421 of file unary.hh.

typedef ManFlexTask Gecode::Int::Unary::ManFlexTaskFwd

Forward mandatory flexible task view.

Definition at line 424 of file unary.hh.

typedef FwdToBwd<ManFlexTaskFwd> Gecode::Int::Unary::ManFlexTaskBwd

Backward (dual) mandatory flexible task view.

Definition at line 427 of file unary.hh.

typedef OptFlexTask Gecode::Int::Unary::OptFlexTaskFwd

Forward optional flexible task view.

Definition at line 430 of file unary.hh.

typedef FwdToBwd<OptFlexTaskFwd> Gecode::Int::Unary::OptFlexTaskBwd

Backward (dual) optional flexible task view.

Definition at line 433 of file unary.hh.

Function Documentation

template<class ManTaskView >

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

Definition at line 42 of file detectable.hpp.

template<class ManTask >

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

Propagate detectable precedences.

template<class OptTaskView >

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

Definition at line 76 of file detectable.hpp.

template<class OptTask >

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

Propagate detectable precedences.

template<class TaskView >

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

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

template<class Task >

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

Propagate by edge finding.

template<class ManTaskView >

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

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

template<class ManTask >

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

Propagate not-first and not-last.

template<class OptTaskView >

ExecStatus Gecode::Int::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::Int::Unary::notfirstnotlast	(	Space &	home,
		Propagator &	p,
		TaskArray< OptTask > &	t
	)			`[inline]`

Propagate not-first and not-last.

template<class ManTask >

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

Check mandatory tasks t for overload.

template<class OptTask >

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

Check optional tasks t for overload.

template<class Task >

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

Check tasks t for subsumption.