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 (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 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 38 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 72 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 40 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 40 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 81 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 ( 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.