# cumulative.hh File Reference

### (Revision: 14967)

`#include <gecode/int/task.hh>`

`#include <gecode/int/unary.hh>`

`#include <gecode/int/cumulative/limits.hpp>`

`#include <gecode/int/cumulative/task.hpp>`

`#include <gecode/int/cumulative/task-view.hpp>`

`#include <gecode/int/cumulative/tree.hpp>`

`#include <gecode/int/cumulative/time-tabling.hpp>`

`#include <gecode/int/cumulative/subsumption.hpp>`

`#include <gecode/int/cumulative/overload.hpp>`

`#include <gecode/int/cumulative/edge-finding.hpp>`

`#include <gecode/int/cumulative/man-prop.hpp>`

`#include <gecode/int/cumulative/opt-prop.hpp>`

`#include <gecode/int/cumulative/post.hpp>`

Go to the source code of this file.

## Classes | |

class | Gecode::Int::Cumulative::ManFixPTask |

Cumulative (mandatory) task with fixed processing time. More... | |

class | Gecode::Int::Cumulative::ManFixPSETask |

Cumulative (mandatory) task with fixed processing, start or end time. More... | |

class | Gecode::Int::Cumulative::ManFlexTask |

Cumulative (mandatory) task with flexible processing time. More... | |

class | Gecode::Int::Cumulative::OptFixPTask |

Cumulative optional task with fixed processing time. More... | |

class | Gecode::Int::Cumulative::OptFixPSETask |

Cumulative optional task with fixed processing, start or end time. More... | |

class | Gecode::Int::Cumulative::OptFlexTask |

Cumulative optional task with flexible processing time More... | |

class | Gecode::Int::TaskViewTraits< Cumulative::ManFixPTaskFwd > |

Task view traits for forward task views. More... | |

class | Gecode::Int::TaskViewTraits< Cumulative::ManFixPTaskBwd > |

Task view traits for backward task views. More... | |

class | Gecode::Int::TaskViewTraits< Cumulative::ManFixPSETaskFwd > |

Task view traits for forward task views. More... | |

class | Gecode::Int::TaskViewTraits< Cumulative::ManFixPSETaskBwd > |

Task view traits for backward task views. More... | |

class | Gecode::Int::TaskViewTraits< Cumulative::OptFixPTaskFwd > |

Task view traits for forward optional task views. More... | |

class | Gecode::Int::TaskViewTraits< Cumulative::OptFixPTaskBwd > |

Task view traits for backward task views. More... | |

class | Gecode::Int::TaskViewTraits< Cumulative::OptFixPSETaskFwd > |

Task view traits for forward optional task views. More... | |

class | Gecode::Int::TaskViewTraits< Cumulative::OptFixPSETaskBwd > |

Task view traits for backward task views. More... | |

class | Gecode::Int::TaskViewTraits< Cumulative::ManFlexTaskFwd > |

Task view traits for forward task views. More... | |

class | Gecode::Int::TaskViewTraits< Cumulative::ManFlexTaskBwd > |

Task view traits for backward task views. More... | |

class | Gecode::Int::TaskViewTraits< Cumulative::OptFlexTaskFwd > |

Task view traits for forward optional task views. More... | |

class | Gecode::Int::TaskViewTraits< Cumulative::OptFlexTaskBwd > |

Task view traits for backward task views. More... | |

class | Gecode::Int::TaskTraits< Cumulative::ManFixPTask > |

Task traits for mandatory fixed tasks. More... | |

class | Gecode::Int::TaskTraits< Cumulative::ManFixPSETask > |

Task traits for mandatory fixed tasks. More... | |

class | Gecode::Int::TaskTraits< Cumulative::OptFixPTask > |

Task traits for optional fixed tasks. More... | |

class | Gecode::Int::TaskTraits< Cumulative::OptFixPSETask > |

Task traits for optional fixed tasks. More... | |

class | Gecode::Int::TaskTraits< Cumulative::ManFlexTask > |

Task traits for mandatory flexible tasks. More... | |

class | Gecode::Int::TaskTraits< Cumulative::OptFlexTask > |

Task traits for optional flexible tasks. More... | |

class | Gecode::Int::Cumulative::OmegaNode |

Node for an omega tree. More... | |

class | Gecode::Int::Cumulative::OmegaTree< TaskView > |

Omega trees for computing ect of task sets. More... | |

class | Gecode::Int::Cumulative::ExtOmegaNode |

Node for an extended omega tree. More... | |

class | Gecode::Int::Cumulative::ExtOmegaTree< TaskView > |

Omega trees for computing ect of task sets. More... | |

class | Gecode::Int::Cumulative::OmegaLambdaNode |

Node for an omega lambda tree. More... | |

class | Gecode::Int::Cumulative::OmegaLambdaTree< TaskView > |

Omega-lambda trees for computing ect of task sets. More... | |

class | Gecode::Int::Cumulative::ManProp< ManTask, Cap, PL > |

Scheduling propagator for cumulative resource with mandatory tasks. More... | |

class | Gecode::Int::Cumulative::OptProp< OptTask, Cap, PL > |

Scheduling propagator for cumulative resource with optional tasks. More... | |

## Namespaces | |

namespace | Gecode::Int::Cumulative |

Scheduling for cumulative resources | |

namespace | Gecode |

Gecode toplevel namespace | |

namespace | Gecode::Int |

Finite domain integers. | |

## Typedefs | |

typedef ManFixPTask | Gecode::Int::Cumulative::ManFixPTaskFwd |

Forward mandatory fixed task view. | |

typedef FwdToBwd< ManFixPTaskFwd > | Gecode::Int::Cumulative::ManFixPTaskBwd |

Backward (dual) mandatory fixed task view. | |

typedef ManFixPSETask | Gecode::Int::Cumulative::ManFixPSETaskFwd |

Forward mandatory fixed task view. | |

typedef FwdToBwd < ManFixPSETaskFwd > | Gecode::Int::Cumulative::ManFixPSETaskBwd |

Backward (dual) mandatory fixed task view. | |

typedef OptFixPTask | Gecode::Int::Cumulative::OptFixPTaskFwd |

Forward optional fixed task view. | |

typedef FwdToBwd< OptFixPTaskFwd > | Gecode::Int::Cumulative::OptFixPTaskBwd |

Backward (dual) optional fixed task view. | |

typedef OptFixPSETask | Gecode::Int::Cumulative::OptFixPSETaskFwd |

Forward optional fixed task view. | |

typedef FwdToBwd < OptFixPSETaskFwd > | Gecode::Int::Cumulative::OptFixPSETaskBwd |

Backward (dual) optional fixed task view. | |

typedef ManFlexTask | Gecode::Int::Cumulative::ManFlexTaskFwd |

Forward mandatory flexible task view. | |

typedef FwdToBwd< ManFlexTaskFwd > | Gecode::Int::Cumulative::ManFlexTaskBwd |

Backward (dual) mandatory flexible task view. | |

typedef OptFlexTask | Gecode::Int::Cumulative::OptFlexTaskFwd |

Forward optional flexible task view. | |

typedef FwdToBwd< OptFlexTaskFwd > | Gecode::Int::Cumulative::OptFlexTaskBwd |

Backward (dual) optional flexible task view. | |

## Functions | |

void | Gecode::Int::Cumulative::mul_check (long long int x, long long int y) |

Throw exception if multiplication of x and y overflows. | |

void | Gecode::Int::Cumulative::mul_check (long long int x, long long int y, long long int z) |

Throw exception if multiplication of x, y, and z overflows. | |

template<class Task > | |

ExecStatus | Gecode::Int::Cumulative::subsumed (Space &home, Propagator &p, int c, TaskArray< Task > &t) |

Check for subsumption (all tasks must be assigned). | |

template<class ManTask > | |

ExecStatus | Gecode::Int::Cumulative::overload (Space &home, int c, TaskArray< ManTask > &t) |

Check mandatory tasks t for overload. | |

template<class Task , class Cap > | |

ExecStatus | Gecode::Int::Cumulative::timetabling (Space &home, Propagator &p, Cap c, TaskArray< Task > &t) |

Perform time-tabling propagation. | |

template<class Task > | |

ExecStatus | Gecode::Int::Cumulative::edgefinding (Space &home, int c, TaskArray< Task > &t) |

Propagate by edge-finding. | |

template<class ManTask , class Cap > | |

ExecStatus | Gecode::Int::Cumulative::cmanpost (Home home, Cap c, TaskArray< ManTask > &t, IntPropLevel ipl) |

Post mandatory task propagator according to propagation level. | |

template<class OptTask , class Cap > | |

ExecStatus | Gecode::Int::Cumulative::coptpost (Home home, Cap c, TaskArray< OptTask > &t, IntPropLevel ipl) |

Post optional task propagator according to propagation level. |