Generated on Mon Nov 30 23:53:40 2009 for Gecode by doxygen 1.6.1

task.hh File Reference

(Revision: 9878)

#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 >
 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.
template<class OptTask >
ExecStatus Gecode::Scheduling::purge (Space &home, Propagator &p, TaskArray< OptTask > &t)
 Purge optional tasks that are excluded and possibly rewrite propagator.