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.
Typedef Documentation
Forward mandatory fixed task view.
Definition at line 285 of file cumulative.hh.
Backward (dual) mandatory fixed task view.
Definition at line 288 of file cumulative.hh.
Forward mandatory fixed task view.
Definition at line 291 of file cumulative.hh.
Backward (dual) mandatory fixed task view.
Definition at line 294 of file cumulative.hh.
Forward optional fixed task view.
Definition at line 297 of file cumulative.hh.
Backward (dual) optional fixed task view.
Definition at line 300 of file cumulative.hh.
Forward optional fixed task view.
Definition at line 303 of file cumulative.hh.
Backward (dual) optional fixed task view.
Definition at line 306 of file cumulative.hh.
Forward mandatory flexible task view.
Definition at line 309 of file cumulative.hh.
Backward (dual) mandatory flexible task view.
Definition at line 312 of file cumulative.hh.
Forward optional flexible task view.
Definition at line 315 of file cumulative.hh.
Backward (dual) optional flexible task view.
Definition at line 318 of file cumulative.hh.
Function Documentation
ExecStatus Gecode::Int::Cumulative::basic | ( | Space & | home, | |
bool & | subsumed, | |||
Cap | c, | |||
TaskArray< Task > & | t | |||
) | [inline] |
Perform basic propagation.
ExecStatus Gecode::Int::Cumulative::edgefinding | ( | Space & | home, | |
int | c, | |||
TaskViewArray< TaskView > & | t | |||
) | [inline] |
Definition at line 72 of file edge-finding.hpp.
ExecStatus Gecode::Int::Cumulative::edgefinding | ( | Space & | home, | |
int | c, | |||
TaskArray< Task > & | t | |||
) | [inline] |
Propagate by edge finding.
ExecStatus Gecode::Int::Cumulative::overload | ( | Space & | home, | |
int | c, | |||
TaskArray< ManTask > & | t | |||
) | [inline] |
Check mandatory tasks t for overload.
std::basic_ostream< Char, Traits > & Gecode::Int::Cumulative::operator<< | ( | std::basic_ostream< Char, Traits > & | os, | |
const ManFixPTaskBwd & | t | |||
) | [inline] |
Definition at line 73 of file task-view.hpp.
std::basic_ostream<Char,Traits>& Gecode::Int::Cumulative::operator<< | ( | std::basic_ostream< Char, Traits > & | os, | |
const ManFixPTask & | t | |||
) | [inline] |
std::basic_ostream<Char,Traits>& Gecode::Int::Cumulative::operator<< | ( | std::basic_ostream< Char, Traits > & | os, | |
const ManFixPSETask & | t | |||
) | [inline] |
std::basic_ostream<Char,Traits>& Gecode::Int::Cumulative::operator<< | ( | std::basic_ostream< Char, Traits > & | os, | |
const ManFlexTask & | t | |||
) | [inline] |
std::basic_ostream<Char,Traits>& Gecode::Int::Cumulative::operator<< | ( | std::basic_ostream< Char, Traits > & | os, | |
const OptFixPTask & | t | |||
) | [related] |
std::basic_ostream<Char,Traits>& Gecode::Int::Cumulative::operator<< | ( | std::basic_ostream< Char, Traits > & | os, | |
const OptFixPSETask & | t | |||
) | [related] |