Namespaces |
namespace | Cumulative |
| Scheduling for cumulative resources
|
namespace | Cumulatives |
| Cumulatives propagators
|
namespace | Unary |
| Scheduling for unary resources
|
Classes |
class | TaskViewTraits< Cumulative::ManFixPTaskFwd > |
| Task view traits for forward task views. More...
|
class | TaskViewTraits< Cumulative::ManFixPTaskBwd > |
| Task view traits for backward task views. More...
|
class | TaskViewTraits< Cumulative::ManFixPSETaskFwd > |
| Task view traits for forward task views. More...
|
class | TaskViewTraits< Cumulative::ManFixPSETaskBwd > |
| Task view traits for backward task views. More...
|
class | TaskViewTraits< Cumulative::OptFixPTaskFwd > |
| Task view traits for forward optional task views. More...
|
class | TaskViewTraits< Cumulative::OptFixPTaskBwd > |
| Task view traits for backward task views. More...
|
class | TaskViewTraits< Cumulative::OptFixPSETaskFwd > |
| Task view traits for forward optional task views. More...
|
class | TaskViewTraits< Cumulative::OptFixPSETaskBwd > |
| Task view traits for backward task views. More...
|
class | TaskViewTraits< Cumulative::ManFlexTaskFwd > |
| Task view traits for forward task views. More...
|
class | TaskViewTraits< Cumulative::ManFlexTaskBwd > |
| Task view traits for backward task views. More...
|
class | TaskViewTraits< Cumulative::OptFlexTaskFwd > |
| Task view traits for forward optional task views. More...
|
class | TaskViewTraits< Cumulative::OptFlexTaskBwd > |
| Task view traits for backward task views. More...
|
class | TaskTraits< Cumulative::ManFixPTask > |
| Task traits for mandatory fixed tasks. More...
|
class | TaskTraits< Cumulative::ManFixPSETask > |
| Task traits for mandatory fixed tasks. More...
|
class | TaskTraits< Cumulative::OptFixPTask > |
| Task traits for optional fixed tasks. More...
|
class | TaskTraits< Cumulative::OptFixPSETask > |
| Task traits for optional fixed tasks. More...
|
class | TaskTraits< Cumulative::ManFlexTask > |
| Task traits for mandatory flexible tasks. More...
|
class | TaskTraits< Cumulative::OptFlexTask > |
| Task traits for optional flexible tasks. More...
|
class | StoEst |
| Sort by earliest start times. More...
|
class | StoEct |
| Sort by earliest completion times. More...
|
class | StoLst |
| Sort by latest start times. More...
|
class | StoLct |
| Sort by latest completion times. More...
|
class | SortMap |
| Sorting maps rather than tasks. More...
|
class | ManToOptTask |
| Class to define an optional from a mandatory task. More...
|
class | FwdToBwd |
| Task mapper: turns a task view into its dual. More...
|
class | TaskViewTraits |
| Traits class for mapping task views to tasks. More...
|
class | TaskTraits |
| Traits class for mapping tasks to task views. More...
|
class | TaskArray |
| Task array. More...
|
class | TaskViewArray |
| Task view array. More...
|
class | TaskViewIter |
| Allows to iterate over task views according to a specified order. More...
|
class | ManTaskViewIter |
| Allows to iterate over mandatory task views according to a specified order. More...
|
class | TaskTree |
| Task trees for task views with node type Node. More...
|
class | TaskProp |
| Propagator for tasks More...
|
class | TaskViewTraits< Unary::ManFixPTaskFwd > |
| Task view traits for forward task views. More...
|
class | TaskViewTraits< Unary::ManFixPTaskBwd > |
| Task view traits for backward task views. More...
|
class | TaskViewTraits< Unary::ManFixPSETaskFwd > |
| Task view traits for forward task views. More...
|
class | TaskViewTraits< Unary::ManFixPSETaskBwd > |
| Task view traits for backward task views. More...
|
class | TaskViewTraits< Unary::OptFixPTaskFwd > |
| Task view traits for forward optional task views. More...
|
class | TaskViewTraits< Unary::OptFixPTaskBwd > |
| Task view traits for backward task views. More...
|
class | TaskViewTraits< Unary::OptFixPSETaskFwd > |
| Task view traits for forward optional task views. More...
|
class | TaskViewTraits< Unary::OptFixPSETaskBwd > |
| Task view traits for backward task views. More...
|
class | TaskViewTraits< Unary::ManFlexTaskFwd > |
| Task view traits for forward task views. More...
|
class | TaskViewTraits< Unary::ManFlexTaskBwd > |
| Task view traits for backward task views. More...
|
class | TaskViewTraits< Unary::OptFlexTaskFwd > |
| Task view traits for forward optional task views. More...
|
class | TaskViewTraits< Unary::OptFlexTaskBwd > |
| Task view traits for backward task views. More...
|
class | TaskTraits< Unary::ManFixPTask > |
| Task traits for mandatory fixed tasks. More...
|
class | TaskTraits< Unary::ManFixPSETask > |
| Task traits for mandatory fixed tasks. More...
|
class | TaskTraits< Unary::OptFixPTask > |
| Task traits for optional fixed tasks. More...
|
class | TaskTraits< Unary::OptFixPSETask > |
| Task traits for optional fixed tasks. More...
|
class | TaskTraits< Unary::ManFlexTask > |
| Task traits for mandatory flexible tasks. More...
|
class | TaskTraits< Unary::OptFlexTask > |
| Task traits for optional flexible tasks. More...
|
Enumerations |
enum | SortTaskOrder { STO_EST,
STO_ECT,
STO_LST,
STO_LCT
} |
| How to sort tasks. More...
|
Functions |
template<class Char , class Traits , class Task > |
std::basic_ostream< Char,
Traits > & | operator<< (std::basic_ostream< Char, Traits > &os, const TaskArray< Task > &t) |
template<class Char , class Traits , class TaskView > |
std::basic_ostream< Char,
Traits > & | operator<< (std::basic_ostream< Char, Traits > &os, const TaskViewArray< TaskView > &t) |
template<class OptTask , PropCond pc> |
ExecStatus | purge (Space &home, Propagator &p, TaskArray< OptTask > &t) |
| Purge optional tasks that are excluded and possibly rewrite propagator.
|
template<class TaskView , SortTaskOrder sto, bool inc> |
void | sort (TaskViewArray< TaskView > &t) |
| Sort task view array t according to sto and inc (increasing or decreasing)
|
template<class TaskView , SortTaskOrder sto, bool inc> |
void | sort (int *map, const TaskViewArray< TaskView > &t) |
| Initialize and sort map for task view array t according to sto and inc (increasing or decreasing)
|
template<class TaskView , SortTaskOrder sto, bool inc> |
void | sort (int *map, int n, const TaskViewArray< TaskView > &t) |
| Sort map with size n for task view array t according to sto and inc (increasing or decreasing)
|
int | plus (int x, int y) |
| Safe addition in case x is -Int::Limits::infinity.
|
double | plus (double x, double y) |
| Safe addition in case x is -Int::Limits::double_infinity.
|
double | div (double x, double y) |
| Safe division in case x is -Int::Limits::double_infinity.
|
Scheduling constraints and branchers