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 , class PL >
ExecStatus	detectable (Space &home, Propagator &p, TaskViewArray< OptTaskView > &t)
template<class OptTask , class PL >
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 , class PL >
ExecStatus	notlast (Space &home, Propagator &p, TaskViewArray< OptTaskView > &t)
template<class OptTask , class PL >
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 , class PL >
ExecStatus	overload (Space &home, Propagator &p, TaskArray< OptTask > &t)
	Check optional tasks t for overload.
template<class ManTask >
ExecStatus	manpost (Home home, TaskArray< ManTask > &t, IntPropLevel ipl)
	Post mandatory task propagator according to propagation level.
template<class OptTask >
ExecStatus	optpost (Home home, TaskArray< OptTask > &t, IntPropLevel ipl)
	Post optional task propagator according to propagation level.
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)
template<class Task >
ExecStatus	timetabling (Space &home, Propagator &p, TaskArray< Task > &t)
	Perform time-tabling propagation.

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 404 of file unary.hh.

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

Backward (dual) mandatory fixed task view.

Definition at line 407 of file unary.hh.

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

Forward mandatory fixed task view.

Definition at line 410 of file unary.hh.

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

Backward (dual) mandatory fixed task view.

Definition at line 413 of file unary.hh.

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

Forward optional fixed task view.

Definition at line 416 of file unary.hh.

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

Backward (dual) optional fixed task view.

Definition at line 419 of file unary.hh.

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

Forward optional fixed task view.

Definition at line 422 of file unary.hh.

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

Backward (dual) optional fixed task view.

Definition at line 425 of file unary.hh.

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

Forward mandatory flexible task view.

Definition at line 428 of file unary.hh.

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

Backward (dual) mandatory flexible task view.

Definition at line 431 of file unary.hh.

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

Forward optional flexible task view.

Definition at line 434 of file unary.hh.

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

Backward (dual) optional flexible task view.

Definition at line 437 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 , class PL >

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

Definition at line 76 of file detectable.hpp.

template<class OptTask , class PL >

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 , class PL >

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 , class PL >

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 , class PL >

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

Check optional tasks t for overload.

template<class ManTask >

ExecStatus Gecode::Int::Unary::manpost	(	Home	home,
		TaskArray< ManTask > &	t,
		IntPropLevel	ipl
	)			`[inline]`

Post mandatory task propagator according to propagation level.

template<class OptTask >

ExecStatus Gecode::Int::Unary::optpost	(	Home	home,
		TaskArray< OptTask > &	t,
		IntPropLevel	ipl
	)			`[inline]`

Post optional task propagator according to propagation level.

template<class Task >

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

Check tasks t for subsumption.