Generated on Mon Nov 30 23:53:54 2009 for Gecode by doxygen 1.6.1

Gecode::Scheduling::Unary Namespace Reference

Scheduling for unary resources. More...

Classes

class  ManFixTask
 Unary (mandatory) task with fixed processing time. More...
class  OptFixTask
 Unary optional task with fixed 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 ManFixTask ManFixTaskFwd
 Forward mandatory fixed task view.
typedef FwdToBwd< ManFixTaskFwdManFixTaskBwd
 Backward (dual) mandatory fixed task view.
typedef OptFixTask OptFixTaskFwd
 Forward optional fixed task view.
typedef FwdToBwd< OptFixTaskFwdOptFixTaskBwd
 Backward (dual) optional fixed task view.

Functions

template<class ManTaskView >
ExecStatus detectable (Space &home, TaskViewArray< ManTaskView > &t)
template<class ManTask >
ExecStatus detectable (Space &home, TaskArray< ManTask > &t)
 Propagate detectable precedences.
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.
template<class TaskView >
ExecStatus edgefinding (Space &home, TaskViewArray< TaskView > &t)
template<class Task >
ExecStatus edgefinding (Space &home, TaskArray< Task > &t)
 Propagate by edge finding.
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.
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.
template<class ManTask >
ExecStatus overload (Space &home, TaskArray< ManTask > &t)
 Check mandatory tasks t for overload.
template<class OptTask >
ExecStatus overload (Space &home, Propagator &p, TaskArray< OptTask > &t)
 Check optional tasks t for overload.
template<class Task >
ExecStatus subsumed (Space &home, Propagator &p, TaskArray< Task > &t)
 Check tasks t for subsumption.
template<class Char , class Traits >
std::basic_ostream< Char,
Traits > & 
operator<< (std::basic_ostream< Char, Traits > &os, const ManFixTaskBwd &t)
template<class Char , class Traits >
std::basic_ostream< Char,
Traits > & 
operator<< (std::basic_ostream< Char, Traits > &os, const ManFixTask &t)
template<class Char , class Traits >
std::basic_ostream< Char,
Traits > & 
operator<< (std::basic_ostream< Char, Traits > &os, const OptFixTask &t)

Detailed Description

Scheduling for unary resources.

The algorithms and data structures follow (mostly): Petr Vilím, Global Constraints in Scheduling, PhD thesis, Charles University, Prague, Czech Republic, 2007.


Typedef Documentation

Forward mandatory fixed task view.

Definition at line 163 of file unary.hh.

Backward (dual) mandatory fixed task view.

Definition at line 166 of file unary.hh.

Forward optional fixed task view.

Definition at line 169 of file unary.hh.

Backward (dual) optional fixed task view.

Definition at line 172 of file unary.hh.


Function Documentation

template<class ManTaskView >
ExecStatus Gecode::Scheduling::Unary::detectable ( Space &  home,
TaskViewArray< ManTaskView > &  t 
) [inline]

Definition at line 42 of file detectable.hpp.

template<class ManTask >
ExecStatus Gecode::Scheduling::Unary::detectable ( Space &  home,
TaskArray< ManTask > &  t 
) [inline]

Propagate detectable precedences.

template<class OptTaskView >
ExecStatus Gecode::Scheduling::Unary::detectable ( Space &  home,
Propagator &  p,
TaskViewArray< OptTaskView > &  t 
) [inline]

Definition at line 76 of file detectable.hpp.

template<class OptTask >
ExecStatus Gecode::Scheduling::Unary::detectable ( Space &  home,
Propagator &  p,
TaskArray< OptTask > &  t 
) [inline]

Propagate detectable precedences.

template<class TaskView >
ExecStatus Gecode::Scheduling::Unary::edgefinding ( Space &  home,
TaskViewArray< TaskView > &  t 
) [inline]

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

template<class Task >
ExecStatus Gecode::Scheduling::Unary::edgefinding ( Space &  home,
TaskArray< Task > &  t 
) [inline]

Propagate by edge finding.

template<class ManTaskView >
ExecStatus Gecode::Scheduling::Unary::notlast ( Space &  home,
TaskViewArray< ManTaskView > &  t 
) [inline]

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

template<class ManTask >
ExecStatus Gecode::Scheduling::Unary::notfirstnotlast ( Space &  home,
TaskArray< ManTask > &  t 
) [inline]

Propagate not-first and not-last.

template<class OptTaskView >
ExecStatus Gecode::Scheduling::Unary::notlast ( Space &  home,
Propagator &  p,
TaskViewArray< OptTaskView > &  t 
) [inline]

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

template<class OptTask >
ExecStatus Gecode::Scheduling::Unary::notfirstnotlast ( Space &  home,
Propagator &  p,
TaskArray< OptTask > &  t 
) [inline]

Propagate not-first and not-last.

template<class ManTask >
ExecStatus Gecode::Scheduling::Unary::overload ( Space &  home,
TaskArray< ManTask > &  t 
) [inline]

Check mandatory tasks t for overload.

template<class OptTask >
ExecStatus Gecode::Scheduling::Unary::overload ( Space &  home,
Propagator &  p,
TaskArray< OptTask > &  t 
) [inline]

Check optional tasks t for overload.

template<class Task >
ExecStatus Gecode::Scheduling::Unary::subsumed ( Space &  home,
Propagator &  p,
TaskArray< Task > &  t 
) [inline]

Check tasks t for subsumption.

template<class Char , class Traits >
std::basic_ostream< Char, Traits > & Gecode::Scheduling::Unary::operator<< ( std::basic_ostream< Char, Traits > &  os,
const ManFixTaskBwd &  t 
) [inline]

Definition at line 51 of file task-view.hpp.

template<class Char , class Traits >
std::basic_ostream<Char,Traits>& Gecode::Scheduling::Unary::operator<< ( std::basic_ostream< Char, Traits > &  os,
const ManFixTask t 
) [inline]

Definition at line 116 of file task.hpp.

template<class Char , class Traits >
std::basic_ostream<Char,Traits>& Gecode::Scheduling::Unary::operator<< ( std::basic_ostream< Char, Traits > &  os,
const OptFixTask &  t 
) [inline]

Definition at line 141 of file task.hpp.