task.hh File Reference
(Revision: 11200)
#include <gecode/scheduling.hh>#include <gecode/scheduling/task/man-to-opt.hpp>#include <gecode/scheduling/task/fwd-to-bwd.hpp>#include <gecode/scheduling/task/array.hpp>#include <gecode/scheduling/task/sort.hpp>#include <gecode/scheduling/task/iter.hpp>#include <gecode/scheduling/task/tree.hpp>#include <gecode/scheduling/task/prop.hpp>#include <gecode/scheduling/task/purge.hpp>Go to the source code of this file.
Classes | |
| class | Gecode::Scheduling::ManToOptTask< ManTask > |
| Class to define an optional from a mandatory task. More... | |
| class | Gecode::Scheduling::FwdToBwd< TaskView > |
| Task mapper: turns a task view into its dual. More... | |
| class | Gecode::Scheduling::TaskViewTraits< TaskView > |
| Traits class for mapping task views to tasks. More... | |
| class | Gecode::Scheduling::TaskTraits< Task > |
| Traits class for mapping tasks to task views. More... | |
| class | Gecode::Scheduling::TaskArray< Task > |
| Task array. More... | |
| class | Gecode::Scheduling::TaskViewArray< TaskView > |
| Task view array. More... | |
| class | Gecode::Scheduling::TaskViewIter< TaskView, sto, inc > |
| Allows to iterate over task views according to a specified order. More... | |
| class | Gecode::Scheduling::ManTaskViewIter< OptTaskView, sto, inc > |
| Allows to iterate over mandatory task views according to a specified order. More... | |
| class | Gecode::Scheduling::TaskTree< TaskView, Node > |
| Task trees for task views with node type Node. More... | |
| class | Gecode::Scheduling::TaskProp< Task, pc > |
| Propagator for tasks More... | |
Namespaces | |
| namespace | Gecode |
Gecode toplevel namespace | |
| namespace | Gecode::Scheduling |
Scheduling constraints and branchers | |
Enumerations | |
| enum | Gecode::Scheduling::SortTaskOrder { Gecode::Scheduling::STO_EST, Gecode::Scheduling::STO_ECT, Gecode::Scheduling::STO_LST, Gecode::Scheduling::STO_LCT } |
How to sort tasks. More... | |
Functions | |
| template<class TaskView , SortTaskOrder sto, bool inc> | |
| void | Gecode::Scheduling::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 | Gecode::Scheduling::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 | Gecode::Scheduling::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 | Gecode::Scheduling::plus (int x, int y) |
| Safe addition in case x is -IntLimits::infinity. | |
| double | Gecode::Scheduling::plus (double x, double y) |
| Safe addition in case x is -IntLimits::double_infinity. | |
| double | Gecode::Scheduling::div (double x, double y) |
| Safe division in case x is -IntLimits::double_infinity. | |
| template<class OptTask , PropCond pc> | |
| ExecStatus | Gecode::Scheduling::purge (Space &home, Propagator &p, TaskArray< OptTask > &t) |
| Purge optional tasks that are excluded and possibly rewrite propagator. | |