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.