Gecode::Int::Unary Namespace Reference

Int for unary resources More...

## Classes

class | ManFixPTask
| Unary (mandatory) task with fixed processing time More...
class | ManFixPSETask
| Unary (mandatory) task with fixed processing, start or end time More...
class | OptFixPTask
| Unary optional task with fixed processing time More...
class | OptFixPSETask
| Unary optional task with fixed processing, start or end time. More...
class | ManFlexTask
| Unary (mandatory) task with flexible processing time More...
class | OptFlexTask
| Unary optional task with flexible processing time More...
class | OmegaNode
| Node for an omega tree. More...
class | OmegaTree
| Omega trees for computing ect of task sets. More...
class | OmegaLambdaNode
| Node for an omega lambda tree. More...
class | OmegaLambdaTree
| Omega-lambda trees for computing ect of task sets. More...
class | ManProp
| Scheduling propagator for unary resource with mandatory tasks More...
class | OptProp
| Scheduling propagator for unary resource with optional tasks More...

## Typedefs

typedef ManFixPTask | ManFixPTaskFwd
| Forward mandatory fixed task view.
typedef FwdToBwd< ManFixPTaskFwd > | ManFixPTaskBwd
| Backward (dual) mandatory fixed task view.
typedef ManFixPSETask | ManFixPSETaskFwd
| Forward mandatory fixed task view.
typedef FwdToBwd< ManFixPSETaskFwd > | ManFixPSETaskBwd
| Backward (dual) mandatory fixed task view.
typedef OptFixPTask | OptFixPTaskFwd
| Forward optional fixed task view.
typedef FwdToBwd< OptFixPTaskFwd > | OptFixPTaskBwd
| Backward (dual) optional fixed task view.
typedef OptFixPSETask | OptFixPSETaskFwd
| Forward optional fixed task view.
typedef FwdToBwd< OptFixPSETaskFwd > | OptFixPSETaskBwd
| Backward (dual) optional fixed task view.
typedef ManFlexTask | ManFlexTaskFwd
| Forward mandatory flexible task view.
typedef FwdToBwd< ManFlexTaskFwd > | ManFlexTaskBwd
| Backward (dual) mandatory flexible task view.
typedef OptFlexTask | OptFlexTaskFwd
| Forward optional 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.

## Detailed Description

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 Documentation

## ManFixPTaskFwd

typedef ManFixPTask Gecode::Int::Unary::ManFixPTaskFwd

Forward mandatory fixed task view.

Definition at line 400 of file unary.hh.

## ManFixPTaskBwd

typedef FwdToBwd<ManFixPTaskFwd> Gecode::Int::Unary::ManFixPTaskBwd

Backward (dual) mandatory fixed task view.

Definition at line 403 of file unary.hh.

## ManFixPSETaskFwd

typedef ManFixPSETask Gecode::Int::Unary::ManFixPSETaskFwd

Forward mandatory fixed task view.

Definition at line 406 of file unary.hh.

## ManFixPSETaskBwd

typedef FwdToBwd<ManFixPSETaskFwd> Gecode::Int::Unary::ManFixPSETaskBwd

Backward (dual) mandatory fixed task view.

Definition at line 409 of file unary.hh.

## OptFixPTaskFwd

typedef OptFixPTask Gecode::Int::Unary::OptFixPTaskFwd

Forward optional fixed task view.

Definition at line 412 of file unary.hh.

## OptFixPTaskBwd

typedef FwdToBwd<OptFixPTaskFwd> Gecode::Int::Unary::OptFixPTaskBwd

Backward (dual) optional fixed task view.

Definition at line 415 of file unary.hh.

## OptFixPSETaskFwd

typedef OptFixPSETask Gecode::Int::Unary::OptFixPSETaskFwd

Forward optional fixed task view.

Definition at line 418 of file unary.hh.

## OptFixPSETaskBwd

typedef FwdToBwd<OptFixPSETaskFwd> Gecode::Int::Unary::OptFixPSETaskBwd

Backward (dual) optional fixed task view.

Definition at line 421 of file unary.hh.

## ManFlexTaskFwd

typedef ManFlexTask Gecode::Int::Unary::ManFlexTaskFwd

Forward mandatory flexible task view.

Definition at line 424 of file unary.hh.

## ManFlexTaskBwd

typedef FwdToBwd<ManFlexTaskFwd> Gecode::Int::Unary::ManFlexTaskBwd

Backward (dual) mandatory flexible task view.

Definition at line 427 of file unary.hh.

## OptFlexTaskFwd

typedef OptFlexTask Gecode::Int::Unary::OptFlexTaskFwd

Forward optional flexible task view.

Definition at line 430 of file unary.hh.

## OptFlexTaskBwd

typedef FwdToBwd<OptFlexTaskFwd> Gecode::Int::Unary::OptFlexTaskBwd

Backward (dual) optional flexible task view.

Definition at line 433 of file unary.hh.

## Function Documentation

## overload() [1/2]

template<class ManTask>

ExecStatus Gecode::Int::Unary::overload | ( | TaskArray< ManTask > & | t | ) |

Check mandatory tasks t for overload.

Definition at line 39 of file overload.hpp.

## overload() [2/2]

template<class OptTask, class PL>

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.

## timetabling()

template<class Task>

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.

## subsumed()

template<class Task>

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.

## detectable() [1/4]

template<class ManTask>

ExecStatus Gecode::Int::Unary::detectable | ( | Space & | home,
|  | TaskArray< ManTask > & | t )

Propagate detectable precedences.

Definition at line 62 of file detectable.hpp.

## detectable() [2/4]

template<class OptTask, class PL>

ExecStatus Gecode::Int::Unary::detectable | ( | Space & | home,
|  | Propagator & | p,
|  | TaskArray< OptTask > & | t )

Propagate detectable precedences.

Definition at line 103 of file detectable.hpp.

## notfirstnotlast() [1/2]

template<class ManTask>

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.

## notfirstnotlast() [2/2]

template<class OptTask, class PL>

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.

## edgefinding() [1/2]

template<class Task>

ExecStatus Gecode::Int::Unary::edgefinding | ( | Space & | home,
|  | TaskArray< Task > & | t )

Propagate by edge-finding.

Definition at line 65 of file edge-finding.hpp.

## manpost()

template<class ManTask>

ExecStatus Gecode::Int::Unary::manpost | ( | Home | home,
|  | TaskArray< ManTask > & | t,
|  | IntPropLevel | ipl )

inline

Post mandatory task propagator according to propagation level.

Definition at line 38 of file post.hpp.

## optpost()

template<class OptTask>

ExecStatus Gecode::Int::Unary::optpost | ( | Home | home,
|  | TaskArray< OptTask > & | t,
|  | IntPropLevel | ipl )

inline

Post optional task propagator according to propagation level.

Definition at line 53 of file post.hpp.

## detectable() [3/4]

template<class ManTaskView>

ExecStatus Gecode::Int::Unary::detectable | ( | Space & | home,
|  | TaskViewArray< ManTaskView > & | t )

inline

Definition at line 38 of file detectable.hpp.

## detectable() [4/4]

template<class OptTaskView, class PL>

ExecStatus Gecode::Int::Unary::detectable | ( | Space & | home,
|  | Propagator & | p,
|  | TaskViewArray< OptTaskView > & | t )

inline

Definition at line 72 of file detectable.hpp.

## edgefinding() [2/2]

template<class TaskView>

ExecStatus Gecode::Int::Unary::edgefinding | ( | Space & | home,
|  | TaskViewArray< TaskView > & | t )

inline

Definition at line 40 of file edge-finding.hpp.

## notlast() [1/2]

template<class ManTaskView>

ExecStatus Gecode::Int::Unary::notlast | ( | Space & | home,
|  | TaskViewArray< ManTaskView > & | t )

inline

Definition at line 40 of file not-first-not-last.hpp.

## notlast() [2/2]

template<class OptTaskView, class PL>

ExecStatus Gecode::Int::Unary::notlast | ( | Space & | home,
|  | Propagator & | p,
|  | TaskViewArray< OptTaskView > & | t )

inline

Definition at line 81 of file not-first-not-last.hpp.

## operator<<() [1/15]

template<class Char, class Traits>

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.

## operator<<() [2/15]

template<class Char, class Traits>

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.

## operator<<() [3/15]

template<class Char, class Traits>

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.

## operator<<() [4/15]

template<class Char, class Traits>

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.

## operator<<() [5/15]

template<class Char, class Traits>

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.

## operator<<() [6/15]

template<class Char, class Traits>

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.

## operator<<() [7/15]

template<class Char, class Traits>

std::basic_ostream< Char, Traits > & Gecode::Int::Unary::operator<< | ( | std::basic_ostream< Char, Traits > & | os,
|  | const ManFixPTask & | t )

Definition at line 152 of file task.hpp.

## operator<<() [8/15]

template<class Char, class Traits>

std::basic_ostream< Char, Traits > & Gecode::Int::Unary::operator<< | ( | std::basic_ostream< Char, Traits > & | os,
|  | const ManFixPSETask & | t )

Definition at line 299 of file task.hpp.

## operator<<() [9/15]

template<class Char, class Traits>

std::basic_ostream< Char, Traits > & Gecode::Int::Unary::operator<< | ( | std::basic_ostream< Char, Traits > & | os,
|  | const ManFlexTask & | t )

Definition at line 444 of file task.hpp.

## operator<<() [10/15]

template<class Char, class Traits>

std::basic_ostream< Char, Traits > & Gecode::Int::Unary::operator<< | ( | std::basic_ostream< Char, Traits > & | os,
|  | const OptFixPTask & | t )

related

Definition at line 471 of file task.hpp.

## operator<<() [11/15]

template<class Char, class Traits>

std::basic_ostream< Char, Traits > & Gecode::Int::Unary::operator<< | ( | std::basic_ostream< Char, Traits > & | os,
|  | const OptFixPSETask & | t )

related

Definition at line 496 of file task.hpp.

## operator<<() [12/15]

template<class Char, class Traits>

std::basic_ostream< Char, Traits > & Gecode::Int::Unary::operator<< | ( | std::basic_ostream< Char, Traits > & | os,
|  | const OptFlexTask & | t )

related

Definition at line 521 of file task.hpp.