Generated on Thu Mar 22 10:39:58 2012 for Gecode by doxygen 1.6.3

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< ManFixPTaskFwdManFixPTaskBwd
 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< OptFixPTaskFwdOptFixPTaskBwd
 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< 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 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 ManFixPTaskBwd &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)

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

Forward mandatory fixed task view.

Definition at line 400 of file unary.hh.

Backward (dual) mandatory fixed task view.

Definition at line 403 of file unary.hh.

Forward mandatory fixed task view.

Definition at line 406 of file unary.hh.

Backward (dual) mandatory fixed task view.

Definition at line 409 of file unary.hh.

Forward optional fixed task view.

Definition at line 412 of file unary.hh.

Backward (dual) optional fixed task view.

Definition at line 415 of file unary.hh.

Forward optional fixed task view.

Definition at line 418 of file unary.hh.

Backward (dual) optional fixed task view.

Definition at line 421 of file unary.hh.

Forward mandatory flexible task view.

Definition at line 424 of file unary.hh.

Backward (dual) mandatory flexible task view.

Definition at line 427 of file unary.hh.

Forward optional flexible task view.

Definition at line 430 of file unary.hh.

Backward (dual) optional flexible task view.

Definition at line 433 of file unary.hh.


Function Documentation

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

Definition at line 42 of file detectable.hpp.

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

Propagate detectable precedences.

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

Definition at line 76 of file detectable.hpp.

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

Propagate detectable precedences.

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

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

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

Propagate by edge finding.

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

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

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

Propagate not-first and not-last.

template<class OptTaskView >
ExecStatus Gecode::Int::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::Int::Unary::notfirstnotlast ( Space &  home,
Propagator &  p,
TaskArray< OptTask > &  t 
) [inline]

Propagate not-first and not-last.

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

Check mandatory tasks t for overload.

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

Check optional tasks t for overload.

template<class Task >
ExecStatus Gecode::Int::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::Int::Unary::operator<< ( std::basic_ostream< Char, Traits > &  os,
const ManFixPTaskBwd &  t 
) [inline]

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

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

Definition at line 158 of file task.hpp.

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

Definition at line 305 of file task.hpp.

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

Definition at line 446 of file task.hpp.

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.

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.

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.