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

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 FwdToBwd< ManFixPTaskFwd > Gecode::Int::Unary::ManFixPTaskBwd
 Backward (dual) mandatory fixed task view.
 
typedef FwdToBwd< ManFixPSETaskFwd > Gecode::Int::Unary::ManFixPSETaskBwd
 Backward (dual) mandatory fixed task view.
 
typedef FwdToBwd< OptFixPTaskFwd > Gecode::Int::Unary::OptFixPTaskBwd
 Backward (dual) optional fixed task view.
 
typedef FwdToBwd< OptFixPSETaskFwd > Gecode::Int::Unary::OptFixPSETaskBwd
 Backward (dual) optional fixed task view.
 
typedef FwdToBwd< ManFlexTaskFwd > Gecode::Int::Unary::ManFlexTaskBwd
 Backward (dual) mandatory 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.