
#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/basic.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>Go to the source code of this file.
Namespaces | |
| Gecode::Int::Cumulative | |
| Scheduling for cumulative resources | |
| Gecode | |
| Gecode toplevel namespace | |
| Gecode::Int | |
| Finite domain integers. | |
Typedefs | |
| typedef ManFixPTask | Gecode::Int::Cumulative::ManFixPTaskFwd |
| Forward mandatory fixed task view. More... | |
| typedef FwdToBwd< ManFixPTaskFwd > | Gecode::Int::Cumulative::ManFixPTaskBwd |
| Backward (dual) mandatory fixed task view. More... | |
| typedef ManFixPSETask | Gecode::Int::Cumulative::ManFixPSETaskFwd |
| Forward mandatory fixed task view. More... | |
| typedef FwdToBwd< ManFixPSETaskFwd > | Gecode::Int::Cumulative::ManFixPSETaskBwd |
| Backward (dual) mandatory fixed task view. More... | |
| typedef OptFixPTask | Gecode::Int::Cumulative::OptFixPTaskFwd |
| Forward optional fixed task view. More... | |
| typedef FwdToBwd< OptFixPTaskFwd > | Gecode::Int::Cumulative::OptFixPTaskBwd |
| Backward (dual) optional fixed task view. More... | |
| typedef OptFixPSETask | Gecode::Int::Cumulative::OptFixPSETaskFwd |
| Forward optional fixed task view. More... | |
| typedef FwdToBwd< OptFixPSETaskFwd > | Gecode::Int::Cumulative::OptFixPSETaskBwd |
| Backward (dual) optional fixed task view. More... | |
| typedef ManFlexTask | Gecode::Int::Cumulative::ManFlexTaskFwd |
| Forward mandatory flexible task view. More... | |
| typedef FwdToBwd< ManFlexTaskFwd > | Gecode::Int::Cumulative::ManFlexTaskBwd |
| Backward (dual) mandatory flexible task view. More... | |
| typedef OptFlexTask | Gecode::Int::Cumulative::OptFlexTaskFwd |
| Forward optional flexible task view. More... | |
| typedef FwdToBwd< OptFlexTaskFwd > | Gecode::Int::Cumulative::OptFlexTaskBwd |
| Backward (dual) optional flexible task view. More... | |
Functions | |
| void | Gecode::Int::Cumulative::mul_check (long long int x, long long int y) |
| Throw exception if multiplication of x and y overflows. More... | |
| 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. More... | |
| template<class Task , class Cap > | |
| ExecStatus | Gecode::Int::Cumulative::basic (Space &home, bool &subsumed, Cap c, TaskArray< Task > &t) |
| Perform basic propagation. More... | |
| template<class ManTask > | |
| ExecStatus | Gecode::Int::Cumulative::overload (Space &home, int c, TaskArray< ManTask > &t) |
| Check mandatory tasks t for overload. More... | |
| template<class Task > | |
| ExecStatus | Gecode::Int::Cumulative::edgefinding (Space &home, int c, TaskArray< Task > &t) |
| Propagate by edge finding. More... | |