Gecode::Int::Cumulative Namespace Reference

Scheduling for cumulative resources More...

Classes
class	Event
	Event for task. More...
class	TaskByDecCap
	Sort order for tasks by decreasing capacity. More...
class	StoCap
	Sort by capacity. More...
class	PrecOrder
	Sort by prec array. More...
class	ManFixPTask
	Cumulative (mandatory) task with fixed processing time. More...
class	ManFixPSETask
	Cumulative (mandatory) task with fixed processing, start or end time. More...
class	ManFlexTask
	Cumulative (mandatory) task with flexible processing time. More...
class	OptFixPTask
	Cumulative optional task with fixed processing time. More...
class	OptFixPSETask
	Cumulative optional task with fixed processing, start or end time. More...
class	OptFlexTask
	Cumulative 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	ExtOmegaNode
	Node for an extended omega tree. More...
class	ExtOmegaTree
	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 cumulative resource with mandatory tasks. More...
class	OptProp
	Scheduling propagator for cumulative 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 Task , class Cap >
ExecStatus	basic (Space &home, bool &subsumed, Cap c, TaskArray< Task > &t)
	Perform basic propagation.
template<class TaskView >
ExecStatus	edgefinding (Space &home, int c, TaskViewArray< TaskView > &t)
template<class Task >
ExecStatus	edgefinding (Space &home, int c, TaskArray< Task > &t)
	Propagate by edge finding.
template<class ManTask >
ExecStatus	overload (Space &home, int c, TaskArray< ManTask > &t)
	Check mandatory tasks t for overload.
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

Scheduling for cumulative resources

The edge-finding and overload-checking algorithms and data structures follow (mostly): Petr Vilím, Max Energy Filtering Algorithm for Discrete Cumulative Resources, CP-AI-OR, 2009. Petr Vilím, Edge Finding Filtering Algorithm for Discrete Cumulative Resources in O(kn log n), CP, 2009.