
Int for unary resources More...
Classes | |
| class | ManFixPSETask |
| Unary (mandatory) task with fixed processing, start or end time More... | |
| class | ManFixPTask |
| Unary (mandatory) task with fixed processing time More... | |
| class | ManFlexTask |
| Unary (mandatory) task with flexible processing time More... | |
| class | ManProp |
| Scheduling propagator for unary resource with mandatory tasks More... | |
| class | OmegaLambdaNode |
| Node for an omega lambda tree. More... | |
| class | OmegaLambdaTree |
| Omega-lambda trees for computing ect of task sets. More... | |
| class | OmegaNode |
| Node for an omega tree. More... | |
| class | OmegaTree |
| Omega trees for computing ect of task sets. More... | |
| class | OptFixPSETask |
| Unary optional task with fixed processing, start or end time. More... | |
| class | OptFixPTask |
| Unary optional task with fixed processing time More... | |
| class | OptFlexTask |
| Unary optional task with flexible processing time More... | |
| class | OptProp |
| Scheduling propagator for unary resource with optional tasks More... | |
Typedefs | |
| typedef ManFixPTask | ManFixPTaskFwd |
| Forward mandatory fixed task view. More... | |
| typedef FwdToBwd< ManFixPTaskFwd > | ManFixPTaskBwd |
| Backward (dual) mandatory fixed task view. More... | |
| typedef ManFixPSETask | ManFixPSETaskFwd |
| Forward mandatory fixed task view. More... | |
| typedef FwdToBwd< ManFixPSETaskFwd > | ManFixPSETaskBwd |
| Backward (dual) mandatory fixed task view. More... | |
| typedef OptFixPTask | OptFixPTaskFwd |
| Forward optional fixed task view. More... | |
| typedef FwdToBwd< OptFixPTaskFwd > | OptFixPTaskBwd |
| Backward (dual) optional fixed task view. More... | |
| typedef OptFixPSETask | OptFixPSETaskFwd |
| Forward optional fixed task view. More... | |
| typedef FwdToBwd< OptFixPSETaskFwd > | OptFixPSETaskBwd |
| Backward (dual) optional fixed task view. More... | |
| typedef ManFlexTask | ManFlexTaskFwd |
| Forward mandatory flexible task view. More... | |
| typedef FwdToBwd< ManFlexTaskFwd > | ManFlexTaskBwd |
| Backward (dual) mandatory flexible task view. More... | |
| typedef OptFlexTask | OptFlexTaskFwd |
| Forward optional flexible task view. More... | |
| typedef FwdToBwd< OptFlexTaskFwd > | OptFlexTaskBwd |
| Backward (dual) optional flexible task view. More... | |
Functions | |
| template<class ManTaskView > | |
| ExecStatus | detectable (Space &home, TaskViewArray< ManTaskView > &t) |
| template<class ManTask > | |
| ExecStatus | detectable (Space &home, TaskArray< ManTask > &t) |
| Propagate detectable precedences. More... | |
| template<class OptTaskView > | |
| ExecStatus | detectable (Space &home, Propagator &p, TaskViewArray< OptTaskView > &t) |
| template<class OptTask > | |
| ExecStatus | detectable (Space &home, Propagator &p, TaskArray< OptTask > &t) |
| Propagate detectable precedences. More... | |
| template<class TaskView > | |
| ExecStatus | edgefinding (Space &home, TaskViewArray< TaskView > &t) |
| template<class Task > | |
| ExecStatus | edgefinding (Space &home, TaskArray< Task > &t) |
| Propagate by edge finding. More... | |
| template<class ManTaskView > | |
| ExecStatus | notlast (Space &home, TaskViewArray< ManTaskView > &t) |
| template<class ManTask > | |
| ExecStatus | notfirstnotlast (Space &home, TaskArray< ManTask > &t) |
| Propagate not-first and not-last. More... | |
| template<class OptTaskView > | |
| ExecStatus | notlast (Space &home, Propagator &p, TaskViewArray< OptTaskView > &t) |
| template<class OptTask > | |
| ExecStatus | notfirstnotlast (Space &home, Propagator &p, TaskArray< OptTask > &t) |
| Propagate not-first and not-last. More... | |
| template<class ManTask > | |
| ExecStatus | overload (Space &home, TaskArray< ManTask > &t) |
| Check mandatory tasks t for overload. More... | |
| template<class OptTask > | |
| ExecStatus | overload (Space &home, Propagator &p, TaskArray< OptTask > &t) |
| Check optional tasks t for overload. More... | |
| template<class Task > | |
| ExecStatus | subsumed (Space &home, Propagator &p, TaskArray< Task > &t) |
| Check tasks t for subsumption. More... | |
| template<class Char , class Traits > | |
| std::basic_ostream< Char, Traits > & | operator<< (std::basic_ostream< Char, Traits > &os, const ManFixPTaskBwd &t) |
| template<class Char , class Traits > | |
| std::basic_ostream< Char, Traits > & | operator<< (std::basic_ostream< Char, Traits > &os, const ManFixPSETaskBwd &t) |
| template<class Char , class Traits > | |
| std::basic_ostream< Char, Traits > & | operator<< (std::basic_ostream< Char, Traits > &os, const OptFixPTaskBwd &t) |
| template<class Char , class Traits > | |
| std::basic_ostream< Char, Traits > & | operator<< (std::basic_ostream< Char, Traits > &os, const OptFixPSETaskBwd &t) |
| template<class Char , class Traits > | |
| std::basic_ostream< Char, Traits > & | operator<< (std::basic_ostream< Char, Traits > &os, const ManFlexTaskBwd &t) |
| template<class Char , class Traits > | |
| std::basic_ostream< Char, Traits > & | operator<< (std::basic_ostream< Char, Traits > &os, const OptFlexTaskBwd &t) |
| template<class Char , class Traits > | |
| std::basic_ostream< Char, Traits > & | operator<< (std::basic_ostream< Char, Traits > &os, const ManFixPTask &t) |
| template<class Char , class Traits > | |
| std::basic_ostream< Char, Traits > & | operator<< (std::basic_ostream< Char, Traits > &os, const ManFixPSETask &t) |
| template<class Char , class Traits > | |
| std::basic_ostream< Char, Traits > & | operator<< (std::basic_ostream< Char, Traits > &os, const ManFlexTask &t) |
| template<class Char , class Traits > | |
| std::basic_ostream< Char, Traits > & | operator<< (std::basic_ostream< Char, Traits > &os, const OptFixPTask &t) |
| template<class Char , class Traits > | |
| std::basic_ostream< Char, Traits > & | operator<< (std::basic_ostream< Char, Traits > &os, const OptFixPSETask &t) |
| template<class Char , class Traits > | |
| std::basic_ostream< Char, Traits > & | operator<< (std::basic_ostream< Char, Traits > &os, const OptFlexTask &t) |
Int for unary resources
The algorithms and data structures follow (mostly): Petr Vilím, Global Constraints in Int, PhD thesis, Charles University, Prague, Czech Republic, 2007.
|
inline |
Definition at line 42 of file detectable.hpp.
| ExecStatus Gecode::Int::Unary::detectable | ( | Space & | home, |
| TaskArray< ManTask > & | t | ||
| ) |
Propagate detectable precedences.
Definition at line 66 of file detectable.hpp.
|
inline |
Definition at line 76 of file detectable.hpp.
| ExecStatus Gecode::Int::Unary::detectable | ( | Space & | home, |
| Propagator & | p, | ||
| TaskArray< OptTask > & | t | ||
| ) |
Propagate detectable precedences.
Definition at line 107 of file detectable.hpp.
|
inline |
Definition at line 44 of file edge-finding.hpp.
| ExecStatus Gecode::Int::Unary::edgefinding | ( | Space & | home, |
| TaskArray< Task > & | t | ||
| ) |
Propagate by edge finding.
Definition at line 69 of file edge-finding.hpp.
|
inline |
Definition at line 44 of file not-first-not-last.hpp.
| ExecStatus Gecode::Int::Unary::notfirstnotlast | ( | Space & | home, |
| TaskArray< ManTask > & | t | ||
| ) |
Propagate not-first and not-last.
Definition at line 76 of file not-first-not-last.hpp.
|
inline |
Definition at line 85 of file not-first-not-last.hpp.
| ExecStatus Gecode::Int::Unary::notfirstnotlast | ( | Space & | home, |
| Propagator & | p, | ||
| TaskArray< OptTask > & | t | ||
| ) |
Propagate not-first and not-last.
Definition at line 126 of file not-first-not-last.hpp.
| ExecStatus Gecode::Int::Unary::overload | ( | Space & | home, |
| TaskArray< ManTask > & | t | ||
| ) |
Check mandatory tasks t for overload.
Definition at line 43 of file overload.hpp.
| ExecStatus Gecode::Int::Unary::overload | ( | Space & | home, |
| Propagator & | p, | ||
| TaskArray< OptTask > & | t | ||
| ) |
Check optional tasks t for overload.
Definition at line 61 of file overload.hpp.
| ExecStatus Gecode::Int::Unary::subsumed | ( | Space & | home, |
| Propagator & | p, | ||
| TaskArray< Task > & | t | ||
| ) |
Check tasks t for subsumption.
Definition at line 42 of file subsumption.hpp.
| std::basic_ostream<Char,Traits>& Gecode::Int::Unary::operator<< | ( | std::basic_ostream< Char, Traits > & | os, |
| const ManFixPTaskBwd & | t | ||
| ) |
Definition at line 44 of file task-view.hpp.
| std::basic_ostream<Char,Traits>& Gecode::Int::Unary::operator<< | ( | std::basic_ostream< Char, Traits > & | os, |
| const ManFixPSETaskBwd & | t | ||
| ) |
Definition at line 53 of file task-view.hpp.
| std::basic_ostream<Char,Traits>& Gecode::Int::Unary::operator<< | ( | std::basic_ostream< Char, Traits > & | os, |
| const OptFixPTaskBwd & | t | ||
| ) |
Definition at line 63 of file task-view.hpp.
| std::basic_ostream<Char,Traits>& Gecode::Int::Unary::operator<< | ( | std::basic_ostream< Char, Traits > & | os, |
| const OptFixPSETaskBwd & | t | ||
| ) |
Definition at line 73 of file task-view.hpp.
| std::basic_ostream<Char,Traits>& Gecode::Int::Unary::operator<< | ( | std::basic_ostream< Char, Traits > & | os, |
| const ManFlexTaskBwd & | t | ||
| ) |
Definition at line 84 of file task-view.hpp.
| std::basic_ostream<Char,Traits>& Gecode::Int::Unary::operator<< | ( | std::basic_ostream< Char, Traits > & | os, |
| const OptFlexTaskBwd & | t | ||
| ) |
Definition at line 94 of file task-view.hpp.
| std::basic_ostream<Char,Traits>& Gecode::Int::Unary::operator<< | ( | std::basic_ostream< Char, Traits > & | os, |
| const ManFixPTask & | t | ||
| ) |
| std::basic_ostream<Char,Traits>& Gecode::Int::Unary::operator<< | ( | std::basic_ostream< Char, Traits > & | os, |
| const ManFixPSETask & | t | ||
| ) |
| std::basic_ostream<Char,Traits>& Gecode::Int::Unary::operator<< | ( | std::basic_ostream< Char, Traits > & | os, |
| const ManFlexTask & | t | ||
| ) |
|
related |
|
related |
|
related |