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 FwdToBwd< ManFixPTaskFwd > | ManFixPTaskBwd |
Backward (dual) mandatory fixed task view. | |
typedef FwdToBwd< ManFixPSETaskFwd > | ManFixPSETaskBwd |
Backward (dual) mandatory fixed task view. | |
typedef FwdToBwd< OptFixPTaskFwd > | OptFixPTaskBwd |
Backward (dual) optional fixed task view. | |
typedef FwdToBwd< OptFixPSETaskFwd > | OptFixPSETaskBwd |
Backward (dual) optional fixed task view. | |
typedef FwdToBwd< ManFlexTaskFwd > | ManFlexTaskBwd |
Backward (dual) mandatory flexible task view. | |
typedef FwdToBwd< OptFlexTaskFwd > | OptFlexTaskBwd |
Backward (dual) optional flexible task view. | |
Functions | |
template<class ManTask > | |
ExecStatus | overload (TaskArray< ManTask > &t) |
Check mandatory tasks t for overload. | |
template<class OptTask , class PL > | |
ExecStatus | overload (Space &home, Propagator &p, TaskArray< OptTask > &t) |
Check optional tasks t for overload. | |
template<class Task > | |
ExecStatus | timetabling (Space &home, Propagator &p, TaskArray< Task > &t) |
Perform time-tabling propagation. | |
template<class Task > | |
ExecStatus | subsumed (Space &home, Propagator &p, TaskArray< Task > &t) |
Check tasks t for subsumption. | |
template<class ManTask > | |
ExecStatus | detectable (Space &home, TaskArray< ManTask > &t) |
Propagate detectable precedences. | |
template<class OptTask , class PL > | |
ExecStatus | detectable (Space &home, Propagator &p, TaskArray< OptTask > &t) |
Propagate detectable precedences. | |
template<class ManTask > | |
ExecStatus | notfirstnotlast (Space &home, TaskArray< ManTask > &t) |
Propagate not-first and not-last. | |
template<class OptTask , class PL > | |
ExecStatus | notfirstnotlast (Space &home, Propagator &p, TaskArray< OptTask > &t) |
Propagate not-first and not-last. | |
template<class Task > | |
ExecStatus | edgefinding (Space &home, TaskArray< Task > &t) |
Propagate by edge-finding. | |
template<class ManTask > | |
ExecStatus | manpost (Home home, TaskArray< ManTask > &t, IntPropLevel ipl) |
Post mandatory task propagator according to propagation level. | |
template<class OptTask > | |
ExecStatus | optpost (Home home, TaskArray< OptTask > &t, IntPropLevel ipl) |
Post optional task propagator according to propagation level. | |
template<class ManTaskView > | |
ExecStatus | detectable (Space &home, TaskViewArray< ManTaskView > &t) |
template<class OptTaskView , class PL > | |
ExecStatus | detectable (Space &home, Propagator &p, TaskViewArray< OptTaskView > &t) |
template<class TaskView > | |
ExecStatus | edgefinding (Space &home, TaskViewArray< TaskView > &t) |
template<class ManTaskView > | |
ExecStatus | notlast (Space &home, TaskViewArray< ManTaskView > &t) |
template<class OptTaskView , class PL > | |
ExecStatus | notlast (Space &home, Propagator &p, TaskViewArray< OptTaskView > &t) |
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) |
template<class Char , class Traits > | |
std::basic_ostream< Char, Traits > & | operator<< (std::basic_ostream< Char, Traits > &os, const OptFixPTask &t) |
Print optional task in format est:p:lct:m. | |
template<class Char , class Traits > | |
std::basic_ostream< Char, Traits > & | operator<< (std::basic_ostream< Char, Traits > &os, const OptFixPSETask &t) |
Print optional task in format est:p:lct:m. | |
template<class Char , class Traits > | |
std::basic_ostream< Char, Traits > & | operator<< (std::basic_ostream< Char, Traits > &os, const OptFlexTask &t) |
Print optional task in format est:lst:pmin:pmax:ect:lct:m. | |
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.
typedef FwdToBwd<ManFixPTaskFwd> Gecode::Int::Unary::ManFixPTaskBwd |
typedef FwdToBwd<ManFixPSETaskFwd> Gecode::Int::Unary::ManFixPSETaskBwd |
typedef FwdToBwd<OptFixPTaskFwd> Gecode::Int::Unary::OptFixPTaskBwd |
typedef FwdToBwd<OptFixPSETaskFwd> Gecode::Int::Unary::OptFixPSETaskBwd |
typedef FwdToBwd<ManFlexTaskFwd> Gecode::Int::Unary::ManFlexTaskBwd |
typedef FwdToBwd<OptFlexTaskFwd> Gecode::Int::Unary::OptFlexTaskBwd |
ExecStatus Gecode::Int::Unary::overload | ( | TaskArray< ManTask > & | t | ) |
Check mandatory tasks t for overload.
Definition at line 39 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 57 of file overload.hpp.
ExecStatus Gecode::Int::Unary::timetabling | ( | Space & | home, |
Propagator & | p, | ||
TaskArray< Task > & | t ) |
Perform time-tabling propagation.
Definition at line 40 of file time-tabling.hpp.
ExecStatus Gecode::Int::Unary::subsumed | ( | Space & | home, |
Propagator & | p, | ||
TaskArray< Task > & | t ) |
Check tasks t for subsumption.
Definition at line 38 of file subsumption.hpp.
ExecStatus Gecode::Int::Unary::detectable | ( | Space & | home, |
TaskArray< ManTask > & | t ) |
Propagate detectable precedences.
Definition at line 62 of file detectable.hpp.
ExecStatus Gecode::Int::Unary::detectable | ( | Space & | home, |
Propagator & | p, | ||
TaskArray< OptTask > & | t ) |
Propagate detectable precedences.
Definition at line 103 of file detectable.hpp.
ExecStatus Gecode::Int::Unary::notfirstnotlast | ( | Space & | home, |
TaskArray< ManTask > & | t ) |
Propagate not-first and not-last.
Definition at line 72 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 122 of file not-first-not-last.hpp.
ExecStatus Gecode::Int::Unary::edgefinding | ( | Space & | home, |
TaskArray< Task > & | t ) |
Propagate by edge-finding.
Definition at line 65 of file edge-finding.hpp.
|
inline |
|
inline |
|
inline |
Definition at line 38 of file detectable.hpp.
|
inline |
Definition at line 72 of file detectable.hpp.
|
inline |
Definition at line 40 of file edge-finding.hpp.
|
inline |
Definition at line 40 of file not-first-not-last.hpp.
|
inline |
Definition at line 81 of file not-first-not-last.hpp.
std::basic_ostream< Char, Traits > & Gecode::Int::Unary::operator<< | ( | std::basic_ostream< Char, Traits > & | os, |
const ManFixPTaskBwd & | t ) |
Definition at line 1 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 1 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 1 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 1 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 1 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 1 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 |