Generated on Thu Jan 16 2025 00:00:00 for Gecode by doxygen 1.14.0
Gecode::Int::Unary Namespace Reference

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.
typedef FwdToBwd< ManFixPTaskFwdManFixPTaskBwd
 Backward (dual) mandatory fixed task view.
typedef ManFixPSETask ManFixPSETaskFwd
 Forward mandatory fixed task view.
typedef FwdToBwd< ManFixPSETaskFwdManFixPSETaskBwd
 Backward (dual) mandatory fixed task view.
typedef OptFixPTask OptFixPTaskFwd
 Forward optional fixed task view.
typedef FwdToBwd< OptFixPTaskFwdOptFixPTaskBwd
 Backward (dual) optional fixed task view.
typedef OptFixPSETask OptFixPSETaskFwd
 Forward optional fixed task view.
typedef FwdToBwd< OptFixPSETaskFwdOptFixPSETaskBwd
 Backward (dual) optional fixed task view.
typedef ManFlexTask ManFlexTaskFwd
 Forward mandatory flexible task view.
typedef FwdToBwd< ManFlexTaskFwdManFlexTaskBwd
 Backward (dual) mandatory flexible task view.
typedef OptFlexTask OptFlexTaskFwd
 Forward optional flexible task view.
typedef FwdToBwd< OptFlexTaskFwdOptFlexTaskBwd
 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

Forward mandatory fixed task view.

Definition at line 400 of file unary.hh.

◆ ManFixPTaskBwd

Backward (dual) mandatory fixed task view.

Definition at line 403 of file unary.hh.

◆ ManFixPSETaskFwd

Forward mandatory fixed task view.

Definition at line 406 of file unary.hh.

◆ ManFixPSETaskBwd

Backward (dual) mandatory fixed task view.

Definition at line 409 of file unary.hh.

◆ OptFixPTaskFwd

Forward optional fixed task view.

Definition at line 412 of file unary.hh.

◆ OptFixPTaskBwd

Backward (dual) optional fixed task view.

Definition at line 415 of file unary.hh.

◆ OptFixPSETaskFwd

Forward optional fixed task view.

Definition at line 418 of file unary.hh.

◆ OptFixPSETaskBwd

Backward (dual) optional fixed task view.

Definition at line 421 of file unary.hh.

◆ ManFlexTaskFwd

Forward mandatory flexible task view.

Definition at line 424 of file unary.hh.

◆ ManFlexTaskBwd

Backward (dual) mandatory flexible task view.

Definition at line 427 of file unary.hh.

◆ OptFlexTaskFwd

Forward optional flexible task view.

Definition at line 430 of file unary.hh.

◆ 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.