unary.hh File Reference

#include <gecode/int/task.hh>
#include <gecode/int/unary/task.hpp>
#include <gecode/int/unary/task-view.hpp>
#include <gecode/int/unary/tree.hpp>
#include <gecode/int/unary/overload.hpp>
#include <gecode/int/unary/time-tabling.hpp>
#include <gecode/int/unary/subsumption.hpp>
#include <gecode/int/unary/detectable.hpp>
#include <gecode/int/unary/not-first-not-last.hpp>
#include <gecode/int/unary/edge-finding.hpp>
#include <gecode/int/unary/man-prop.hpp>
#include <gecode/int/unary/opt-prop.hpp>
#include <gecode/int/unary/post.hpp>

Go to the source code of this file.

Classes
class	Gecode::Int::Unary::ManFixPTask
	Unary (mandatory) task with fixed processing time More...
class	Gecode::Int::Unary::ManFixPSETask
	Unary (mandatory) task with fixed processing, start or end time More...
class	Gecode::Int::Unary::OptFixPTask
	Unary optional task with fixed processing time More...
class	Gecode::Int::Unary::OptFixPSETask
	Unary optional task with fixed processing, start or end time. More...
class	Gecode::Int::Unary::ManFlexTask
	Unary (mandatory) task with flexible processing time More...
class	Gecode::Int::Unary::OptFlexTask
	Unary optional task with flexible processing time More...
class	Gecode::Int::TaskViewTraits< Unary::ManFixPTaskFwd >
	Task view traits for forward task views. More...
class	Gecode::Int::TaskViewTraits< Unary::ManFixPTaskBwd >
	Task view traits for backward task views. More...
class	Gecode::Int::TaskViewTraits< Unary::ManFixPSETaskFwd >
	Task view traits for forward task views. More...
class	Gecode::Int::TaskViewTraits< Unary::ManFixPSETaskBwd >
	Task view traits for backward task views. More...
class	Gecode::Int::TaskViewTraits< Unary::OptFixPTaskFwd >
	Task view traits for forward optional task views. More...
class	Gecode::Int::TaskViewTraits< Unary::OptFixPTaskBwd >
	Task view traits for backward task views. More...
class	Gecode::Int::TaskViewTraits< Unary::OptFixPSETaskFwd >
	Task view traits for forward optional task views. More...
class	Gecode::Int::TaskViewTraits< Unary::OptFixPSETaskBwd >
	Task view traits for backward task views. More...
class	Gecode::Int::TaskViewTraits< Unary::ManFlexTaskFwd >
	Task view traits for forward task views. More...
class	Gecode::Int::TaskViewTraits< Unary::ManFlexTaskBwd >
	Task view traits for backward task views. More...
class	Gecode::Int::TaskViewTraits< Unary::OptFlexTaskFwd >
	Task view traits for forward optional task views. More...
class	Gecode::Int::TaskViewTraits< Unary::OptFlexTaskBwd >
	Task view traits for backward task views. More...
class	Gecode::Int::TaskTraits< Unary::ManFixPTask >
	Task traits for mandatory fixed tasks. More...
class	Gecode::Int::TaskTraits< Unary::ManFixPSETask >
	Task traits for mandatory fixed tasks. More...
class	Gecode::Int::TaskTraits< Unary::OptFixPTask >
	Task traits for optional fixed tasks. More...
class	Gecode::Int::TaskTraits< Unary::OptFixPSETask >
	Task traits for optional fixed tasks. More...
class	Gecode::Int::TaskTraits< Unary::ManFlexTask >
	Task traits for mandatory flexible tasks. More...
class	Gecode::Int::TaskTraits< Unary::OptFlexTask >
	Task traits for optional flexible tasks. More...
class	Gecode::Int::Unary::OmegaNode
	Node for an omega tree. More...
class	Gecode::Int::Unary::OmegaTree< TaskView >
	Omega trees for computing ect of task sets. More...
class	Gecode::Int::Unary::OmegaLambdaNode
	Node for an omega lambda tree. More...
class	Gecode::Int::Unary::OmegaLambdaTree< TaskView >
	Omega-lambda trees for computing ect of task sets. More...
class	Gecode::Int::Unary::ManProp< ManTask, PL >
	Scheduling propagator for unary resource with mandatory tasks More...
class	Gecode::Int::Unary::OptProp< OptTask, PL >
	Scheduling propagator for unary resource with optional tasks More...
Namespaces
namespace	Gecode::Int::Unary
	Int for unary resources
namespace	Gecode
	Gecode toplevel namespace
namespace	Gecode::Int
	Finite domain integers.
Typedefs
typedef ManFixPTask	Gecode::Int::Unary::ManFixPTaskFwd
	Forward mandatory fixed task view.
typedef FwdToBwd< ManFixPTaskFwd >	Gecode::Int::Unary::ManFixPTaskBwd
	Backward (dual) mandatory fixed task view.
typedef ManFixPSETask	Gecode::Int::Unary::ManFixPSETaskFwd
	Forward mandatory fixed task view.
typedef FwdToBwd < ManFixPSETaskFwd >	Gecode::Int::Unary::ManFixPSETaskBwd
	Backward (dual) mandatory fixed task view.
typedef OptFixPTask	Gecode::Int::Unary::OptFixPTaskFwd
	Forward optional fixed task view.
typedef FwdToBwd< OptFixPTaskFwd >	Gecode::Int::Unary::OptFixPTaskBwd
	Backward (dual) optional fixed task view.
typedef OptFixPSETask	Gecode::Int::Unary::OptFixPSETaskFwd
	Forward optional fixed task view.
typedef FwdToBwd < OptFixPSETaskFwd >	Gecode::Int::Unary::OptFixPSETaskBwd
	Backward (dual) optional fixed task view.
typedef ManFlexTask	Gecode::Int::Unary::ManFlexTaskFwd
	Forward mandatory flexible task view.
typedef FwdToBwd< ManFlexTaskFwd >	Gecode::Int::Unary::ManFlexTaskBwd
	Backward (dual) mandatory flexible task view.
typedef OptFlexTask	Gecode::Int::Unary::OptFlexTaskFwd
	Forward optional flexible task view.
typedef FwdToBwd< OptFlexTaskFwd >	Gecode::Int::Unary::OptFlexTaskBwd
	Backward (dual) optional flexible task view.
Functions
template<class ManTask >
ExecStatus	Gecode::Int::Unary::overload (TaskArray< ManTask > &t)
	Check mandatory tasks t for overload.
template<class OptTask , class PL >
ExecStatus	Gecode::Int::Unary::overload (Space &home, Propagator &p, TaskArray< OptTask > &t)
	Check optional tasks t for overload.
template<class Task >
ExecStatus	Gecode::Int::Unary::timetabling (Space &home, Propagator &p, TaskArray< Task > &t)
	Perform time-tabling propagation.
template<class Task >
ExecStatus	Gecode::Int::Unary::subsumed (Space &home, Propagator &p, TaskArray< Task > &t)
	Check tasks t for subsumption.
template<class ManTask >
ExecStatus	Gecode::Int::Unary::detectable (Space &home, TaskArray< ManTask > &t)
	Propagate detectable precedences.
template<class OptTask , class PL >
ExecStatus	Gecode::Int::Unary::detectable (Space &home, Propagator &p, TaskArray< OptTask > &t)
	Propagate detectable precedences.
template<class ManTask >
ExecStatus	Gecode::Int::Unary::notfirstnotlast (Space &home, TaskArray< ManTask > &t)
	Propagate not-first and not-last.
template<class OptTask , class PL >
ExecStatus	Gecode::Int::Unary::notfirstnotlast (Space &home, Propagator &p, TaskArray< OptTask > &t)
	Propagate not-first and not-last.
template<class Task >
ExecStatus	Gecode::Int::Unary::edgefinding (Space &home, TaskArray< Task > &t)
	Propagate by edge-finding.
template<class ManTask >
ExecStatus	Gecode::Int::Unary::manpost (Home home, TaskArray< ManTask > &t, IntPropLevel ipl)
	Post mandatory task propagator according to propagation level.
template<class OptTask >
ExecStatus	Gecode::Int::Unary::optpost (Home home, TaskArray< OptTask > &t, IntPropLevel ipl)
	Post optional task propagator according to propagation level.