unary.hh File Reference
(Revision: 11551)
#include <gecode/scheduling/task.hh>
#include <gecode/scheduling/unary/task.hpp>
#include <gecode/scheduling/unary/task-view.hpp>
#include <gecode/scheduling/unary/tree.hpp>
#include <gecode/scheduling/unary/overload.hpp>
#include <gecode/scheduling/unary/subsumption.hpp>
#include <gecode/scheduling/unary/detectable.hpp>
#include <gecode/scheduling/unary/not-first-not-last.hpp>
#include <gecode/scheduling/unary/edge-finding.hpp>
#include <gecode/scheduling/unary/man-prop.hpp>
#include <gecode/scheduling/unary/opt-prop.hpp>
#include <gecode/scheduling/unary/task.hpp>
#include <gecode/scheduling/unary/task-view.hpp>
#include <gecode/scheduling/unary/tree.hpp>
#include <gecode/scheduling/unary/overload.hpp>
#include <gecode/scheduling/unary/subsumption.hpp>
#include <gecode/scheduling/unary/detectable.hpp>
#include <gecode/scheduling/unary/not-first-not-last.hpp>
#include <gecode/scheduling/unary/edge-finding.hpp>
#include <gecode/scheduling/unary/man-prop.hpp>
#include <gecode/scheduling/unary/opt-prop.hpp>
Go to the source code of this file.
Classes | |
class | Gecode::Scheduling::Unary::ManFixPTask |
Unary (mandatory) task with fixed processing time More... | |
class | Gecode::Scheduling::Unary::ManFixPSETask |
class | Gecode::Scheduling::Unary::OptFixPTask |
Unary optional task with fixed processing time More... | |
class | Gecode::Scheduling::Unary::OptFixPSETask |
Unary optional task with fixed processing, start or end time. More... | |
class | Gecode::Scheduling::Unary::ManFlexTask |
Unary (mandatory) task with flexible processing time More... | |
class | Gecode::Scheduling::Unary::OptFlexTask |
Unary optional task with flexible processing time More... | |
class | Gecode::Scheduling::TaskViewTraits< Unary::ManFixPTaskFwd > |
Task view traits for forward task views. More... | |
class | Gecode::Scheduling::TaskViewTraits< Unary::ManFixPTaskBwd > |
Task view traits for backward task views. More... | |
class | Gecode::Scheduling::TaskViewTraits< Unary::ManFixPSETaskFwd > |
Task view traits for forward task views. More... | |
class | Gecode::Scheduling::TaskViewTraits< Unary::ManFixPSETaskBwd > |
Task view traits for backward task views. More... | |
class | Gecode::Scheduling::TaskViewTraits< Unary::OptFixPTaskFwd > |
Task view traits for forward optional task views. More... | |
class | Gecode::Scheduling::TaskViewTraits< Unary::OptFixPTaskBwd > |
Task view traits for backward task views. More... | |
class | Gecode::Scheduling::TaskViewTraits< Unary::OptFixPSETaskFwd > |
Task view traits for forward optional task views. More... | |
class | Gecode::Scheduling::TaskViewTraits< Unary::OptFixPSETaskBwd > |
Task view traits for backward task views. More... | |
class | Gecode::Scheduling::TaskViewTraits< Unary::ManFlexTaskFwd > |
Task view traits for forward task views. More... | |
class | Gecode::Scheduling::TaskViewTraits< Unary::ManFlexTaskBwd > |
Task view traits for backward task views. More... | |
class | Gecode::Scheduling::TaskViewTraits< Unary::OptFlexTaskFwd > |
Task view traits for forward optional task views. More... | |
class | Gecode::Scheduling::TaskViewTraits< Unary::OptFlexTaskBwd > |
Task view traits for backward task views. More... | |
class | Gecode::Scheduling::TaskTraits< Unary::ManFixPTask > |
Task traits for mandatory fixed tasks. More... | |
class | Gecode::Scheduling::TaskTraits< Unary::ManFixPSETask > |
Task traits for mandatory fixed tasks. More... | |
class | Gecode::Scheduling::TaskTraits< Unary::OptFixPTask > |
Task traits for optional fixed tasks. More... | |
class | Gecode::Scheduling::TaskTraits< Unary::OptFixPSETask > |
Task traits for optional fixed tasks. More... | |
class | Gecode::Scheduling::TaskTraits< Unary::ManFlexTask > |
Task traits for mandatory flexible tasks. More... | |
class | Gecode::Scheduling::TaskTraits< Unary::OptFlexTask > |
Task traits for optional flexible tasks. More... | |
class | Gecode::Scheduling::Unary::OmegaNode |
Node for an omega tree. More... | |
class | Gecode::Scheduling::Unary::OmegaTree< TaskView > |
Omega trees for computing ect of task sets. More... | |
class | Gecode::Scheduling::Unary::OmegaLambdaNode |
Node for an omega lambda tree. More... | |
class | Gecode::Scheduling::Unary::OmegaLambdaTree< TaskView > |
Omega-lambda trees for computing ect of task sets. More... | |
class | Gecode::Scheduling::Unary::ManProp< ManTask > |
Scheduling propagator for unary resource with mandatory tasks More... | |
class | Gecode::Scheduling::Unary::OptProp< OptTask > |
Scheduling propagator for unary resource with optional tasks More... | |
Namespaces | |
namespace | Gecode::Scheduling::Unary |
Scheduling for unary resources | |
namespace | Gecode |
Gecode toplevel namespace | |
namespace | Gecode::Scheduling |
Scheduling constraints and branchers | |
Typedefs | |
typedef ManFixPTask | Gecode::Scheduling::Unary::ManFixPTaskFwd |
Forward mandatory fixed task view. | |
typedef FwdToBwd< ManFixPTaskFwd > | Gecode::Scheduling::Unary::ManFixPTaskBwd |
Backward (dual) mandatory fixed task view. | |
typedef ManFixPSETask | Gecode::Scheduling::Unary::ManFixPSETaskFwd |
Forward mandatory fixed task view. | |
typedef FwdToBwd < ManFixPSETaskFwd > | Gecode::Scheduling::Unary::ManFixPSETaskBwd |
Backward (dual) mandatory fixed task view. | |
typedef OptFixPTask | Gecode::Scheduling::Unary::OptFixPTaskFwd |
Forward optional fixed task view. | |
typedef FwdToBwd< OptFixPTaskFwd > | Gecode::Scheduling::Unary::OptFixPTaskBwd |
Backward (dual) optional fixed task view. | |
typedef OptFixPSETask | Gecode::Scheduling::Unary::OptFixPSETaskFwd |
Forward optional fixed task view. | |
typedef FwdToBwd < OptFixPSETaskFwd > | Gecode::Scheduling::Unary::OptFixPSETaskBwd |
Backward (dual) optional fixed task view. | |
typedef ManFlexTask | Gecode::Scheduling::Unary::ManFlexTaskFwd |
Forward mandatory flexible task view. | |
typedef FwdToBwd< ManFlexTaskFwd > | Gecode::Scheduling::Unary::ManFlexTaskBwd |
Backward (dual) mandatory flexible task view. | |
typedef OptFlexTask | Gecode::Scheduling::Unary::OptFlexTaskFwd |
Forward optional flexible task view. | |
typedef FwdToBwd< OptFlexTaskFwd > | Gecode::Scheduling::Unary::OptFlexTaskBwd |
Backward (dual) optional flexible task view. | |
Functions | |
template<class ManTask > | |
ExecStatus | Gecode::Scheduling::Unary::overload (Space &home, TaskArray< ManTask > &t) |
Check mandatory tasks t for overload. | |
template<class OptTask > | |
ExecStatus | Gecode::Scheduling::Unary::overload (Space &home, Propagator &p, TaskArray< OptTask > &t) |
Check optional tasks t for overload. | |
template<class Task > | |
ExecStatus | Gecode::Scheduling::Unary::subsumed (Space &home, Propagator &p, TaskArray< Task > &t) |
Check tasks t for subsumption. | |
template<class ManTask > | |
ExecStatus | Gecode::Scheduling::Unary::detectable (Space &home, TaskArray< ManTask > &t) |
Propagate detectable precedences. | |
template<class OptTask > | |
ExecStatus | Gecode::Scheduling::Unary::detectable (Space &home, Propagator &p, TaskArray< OptTask > &t) |
Propagate detectable precedences. | |
template<class ManTask > | |
ExecStatus | Gecode::Scheduling::Unary::notfirstnotlast (Space &home, TaskArray< ManTask > &t) |
Propagate not-first and not-last. | |
template<class OptTask > | |
ExecStatus | Gecode::Scheduling::Unary::notfirstnotlast (Space &home, Propagator &p, TaskArray< OptTask > &t) |
Propagate not-first and not-last. | |
template<class Task > | |
ExecStatus | Gecode::Scheduling::Unary::edgefinding (Space &home, TaskArray< Task > &t) |
Propagate by edge finding. |