#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.
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. | |