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 > | |
ExecStatus | basic (Space &home, Propagator &p, int 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.
Typedef Documentation
Forward mandatory fixed task view.
Definition at line 277 of file cumulative.hh.
Backward (dual) mandatory fixed task view.
Definition at line 280 of file cumulative.hh.
Forward mandatory fixed task view.
Definition at line 283 of file cumulative.hh.
Backward (dual) mandatory fixed task view.
Definition at line 286 of file cumulative.hh.
Forward optional fixed task view.
Definition at line 289 of file cumulative.hh.
Backward (dual) optional fixed task view.
Definition at line 292 of file cumulative.hh.
Forward optional fixed task view.
Definition at line 295 of file cumulative.hh.
Backward (dual) optional fixed task view.
Definition at line 298 of file cumulative.hh.
Forward mandatory flexible task view.
Definition at line 301 of file cumulative.hh.
Backward (dual) mandatory flexible task view.
Definition at line 304 of file cumulative.hh.
Forward optional flexible task view.
Definition at line 307 of file cumulative.hh.
Backward (dual) optional flexible task view.
Definition at line 310 of file cumulative.hh.
Function Documentation
ExecStatus Gecode::Scheduling::Cumulative::basic | ( | Space & | home, | |
Propagator & | p, | |||
int | c, | |||
TaskArray< Task > & | t | |||
) |
Perform basic propagation.
ExecStatus Gecode::Scheduling::Cumulative::edgefinding | ( | Space & | home, | |
int | c, | |||
TaskViewArray< TaskView > & | t | |||
) | [inline] |
Definition at line 66 of file edge-finding.hpp.
ExecStatus Gecode::Scheduling::Cumulative::edgefinding | ( | Space & | home, | |
int | c, | |||
TaskArray< Task > & | t | |||
) |
Propagate by edge finding.
ExecStatus Gecode::Scheduling::Cumulative::overload | ( | Space & | home, | |
int | c, | |||
TaskArray< ManTask > & | t | |||
) |
Check mandatory tasks t for overload.
std::basic_ostream< Char, Traits > & Gecode::Scheduling::Cumulative::operator<< | ( | std::basic_ostream< Char, Traits > & | os, | |
const ManFixPTaskBwd & | t | |||
) |
Definition at line 71 of file task-view.hpp.
std::basic_ostream<Char,Traits>& Gecode::Scheduling::Cumulative::operator<< | ( | std::basic_ostream< Char, Traits > & | os, | |
const ManFixPTask & | t | |||
) |
std::basic_ostream<Char,Traits>& Gecode::Scheduling::Cumulative::operator<< | ( | std::basic_ostream< Char, Traits > & | os, | |
const ManFixPSETask & | t | |||
) |
std::basic_ostream<Char,Traits>& Gecode::Scheduling::Cumulative::operator<< | ( | std::basic_ostream< Char, Traits > & | os, | |
const ManFlexTask & | t | |||
) |
std::basic_ostream<Char,Traits>& Gecode::Scheduling::Cumulative::operator<< | ( | std::basic_ostream< Char, Traits > & | os, | |
const OptFixPTask & | t | |||
) | [related] |
std::basic_ostream<Char,Traits>& Gecode::Scheduling::Cumulative::operator<< | ( | std::basic_ostream< Char, Traits > & | os, | |
const OptFixPSETask & | t | |||
) | [related] |