Generated on Tue Feb 11 2025 17:33:26 for Gecode by doxygen 1.12.0
cumulative.hh File Reference

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< ManFixPTaskFwdGecode::Int::Cumulative::ManFixPTaskBwd
 Backward (dual) mandatory fixed task view.
 
typedef ManFixPSETask Gecode::Int::Cumulative::ManFixPSETaskFwd
 Forward mandatory fixed task view.
 
typedef FwdToBwd< ManFixPSETaskFwdGecode::Int::Cumulative::ManFixPSETaskBwd
 Backward (dual) mandatory fixed task view.
 
typedef OptFixPTask Gecode::Int::Cumulative::OptFixPTaskFwd
 Forward optional fixed task view.
 
typedef FwdToBwd< OptFixPTaskFwdGecode::Int::Cumulative::OptFixPTaskBwd
 Backward (dual) optional fixed task view.
 
typedef OptFixPSETask Gecode::Int::Cumulative::OptFixPSETaskFwd
 Forward optional fixed task view.
 
typedef FwdToBwd< OptFixPSETaskFwdGecode::Int::Cumulative::OptFixPSETaskBwd
 Backward (dual) optional fixed task view.
 
typedef ManFlexTask Gecode::Int::Cumulative::ManFlexTaskFwd
 Forward mandatory flexible task view.
 
typedef FwdToBwd< ManFlexTaskFwdGecode::Int::Cumulative::ManFlexTaskBwd
 Backward (dual) mandatory flexible task view.
 
typedef OptFlexTask Gecode::Int::Cumulative::OptFlexTaskFwd
 Forward optional flexible task view.
 
typedef FwdToBwd< OptFlexTaskFwdGecode::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.