cumulative.hh File Reference

(Revision: 12181)

#include <gecode/int/task.hh>
#include <gecode/int/unary.hh>
#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.

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 >
	Scheduling propagator for cumulative resource with mandatory tasks. More...
class	Gecode::Int::Cumulative::OptProp< OptTask, Cap >
	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
template<class Task , class Cap >
ExecStatus	Gecode::Int::Cumulative::basic (Space &home, bool &subsumed, Cap c, TaskArray< Task > &t)
	Perform basic propagation.
template<class ManTask >
ExecStatus	Gecode::Int::Cumulative::overload (Space &home, int c, TaskArray< ManTask > &t)
	Check mandatory tasks t for overload.
template<class Task >
ExecStatus	Gecode::Int::Cumulative::edgefinding (Space &home, int c, TaskArray< Task > &t)
	Propagate by edge finding.