Generated on Sat Aug 25 2012 15:53:13 for Gecode by doxygen 1.7.5
Gecode::Int::Unary::ManFixPTask Class Reference

Unary (mandatory) task with fixed processing time More...

#include <unary.hh>

List of all members.

Protected Attributes

Int::IntView _s
 Start time.
int _p
 Processing time.

Related Functions

(Note that these are not member functions.)

template<class Char , class Traits >
std::basic_ostream< Char,
Traits > & 
operator<< (std::basic_ostream< Char, Traits > &os, const ManFixPTask &t)
 Print task in format est:p:lct.

Constructors and initialization

 ManFixPTask (void)
 Default constructor.
 ManFixPTask (IntVar s, int p)
 Initialize with start time s and processing time p.
void init (IntVar s, int p)
 Initialize with start time s and processing time p.
void init (const ManFixPTask &t)
 Initialize from task t.

Value access

int est (void) const
 Return earliest start time.
int ect (void) const
 Return earliest completion time.
int lst (void) const
 Return latest start time.
int lct (void) const
 Return latest completion time.
int pmin (void) const
 Return minimum processing time.
int pmax (void) const
 Return maximum processing time.
IntVar st (void) const
 Return start time.
bool mandatory (void) const
 Whether task is mandatory.
bool excluded (void) const
 Whether task is excluded.
bool optional (void) const
 Whether task can still be optional.

Domain tests

bool assigned (void) const
 Test whether task is assigned.

Value update

ModEvent est (Space &home, int n)
 Update earliest start time to n.
ModEvent ect (Space &home, int n)
 Update earliest completion time to n.
ModEvent lst (Space &home, int n)
 Update latest start time to n.
ModEvent lct (Space &home, int n)
 Update latest completion time to n.
ModEvent norun (Space &home, int e, int l)
 Update such that task cannot run from e to l.
ModEvent mandatory (Space &home)
 Mark task as mandatory.
ModEvent excluded (Space &home)
 Mark task as excluded.

Cloning

void update (Space &home, bool share, ManFixPTask &t)
 Update this task to be a clone of task t.

Dependencies

void subscribe (Space &home, Propagator &p, PropCond pc=Int::PC_INT_BND)
 Subscribe propagator p to task.
void cancel (Space &home, Propagator &p, PropCond pc=Int::PC_INT_BND)
 Cancel subscription of propagator p for task.

Detailed Description

Unary (mandatory) task with fixed processing time


Constructor & Destructor Documentation

Gecode::Int::Unary::ManFixPTask::ManFixPTask ( void  ) [inline]

Default constructor.

Reimplemented in Gecode::Int::Cumulative::ManFixPTask.

Definition at line 47 of file task.hpp.

Gecode::Int::Unary::ManFixPTask::ManFixPTask ( IntVar  s,
int  p 
) [inline]

Initialize with start time s and processing time p.

Definition at line 49 of file task.hpp.


Member Function Documentation

void Gecode::Int::Unary::ManFixPTask::init ( IntVar  s,
int  p 
) [inline]

Initialize with start time s and processing time p.

Definition at line 51 of file task.hpp.

void Gecode::Int::Unary::ManFixPTask::init ( const ManFixPTask t) [inline]

Initialize from task t.

Definition at line 55 of file task.hpp.

int Gecode::Int::Unary::ManFixPTask::est ( void  ) const [inline]

Return earliest start time.

Reimplemented in Gecode::Int::Unary::ManFixPSETask.

Definition at line 60 of file task.hpp.

int Gecode::Int::Unary::ManFixPTask::ect ( void  ) const [inline]

Return earliest completion time.

Reimplemented in Gecode::Int::Unary::ManFixPSETask.

Definition at line 64 of file task.hpp.

int Gecode::Int::Unary::ManFixPTask::lst ( void  ) const [inline]

Return latest start time.

Reimplemented in Gecode::Int::Unary::ManFixPSETask.

Definition at line 68 of file task.hpp.

int Gecode::Int::Unary::ManFixPTask::lct ( void  ) const [inline]

Return latest completion time.

Reimplemented in Gecode::Int::Unary::ManFixPSETask.

Definition at line 72 of file task.hpp.

int Gecode::Int::Unary::ManFixPTask::pmin ( void  ) const [inline]

Return minimum processing time.

Reimplemented in Gecode::Int::Unary::ManFixPSETask.

Definition at line 76 of file task.hpp.

int Gecode::Int::Unary::ManFixPTask::pmax ( void  ) const [inline]

Return maximum processing time.

Reimplemented in Gecode::Int::Unary::ManFixPSETask.

Definition at line 80 of file task.hpp.

IntVar Gecode::Int::Unary::ManFixPTask::st ( void  ) const [inline]

Return start time.

Definition at line 84 of file task.hpp.

bool Gecode::Int::Unary::ManFixPTask::mandatory ( void  ) const [inline]

Whether task is mandatory.

Definition at line 89 of file task.hpp.

bool Gecode::Int::Unary::ManFixPTask::excluded ( void  ) const [inline]

Whether task is excluded.

Definition at line 93 of file task.hpp.

bool Gecode::Int::Unary::ManFixPTask::optional ( void  ) const [inline]

Whether task can still be optional.

Definition at line 97 of file task.hpp.

bool Gecode::Int::Unary::ManFixPTask::assigned ( void  ) const [inline]

Test whether task is assigned.

Definition at line 102 of file task.hpp.

ModEvent Gecode::Int::Unary::ManFixPTask::est ( Space home,
int  n 
) [inline]

Update earliest start time to n.

Reimplemented in Gecode::Int::Unary::ManFixPSETask.

Definition at line 107 of file task.hpp.

ModEvent Gecode::Int::Unary::ManFixPTask::ect ( Space home,
int  n 
) [inline]

Update earliest completion time to n.

Reimplemented in Gecode::Int::Unary::ManFixPSETask.

Definition at line 111 of file task.hpp.

ModEvent Gecode::Int::Unary::ManFixPTask::lst ( Space home,
int  n 
) [inline]

Update latest start time to n.

Reimplemented in Gecode::Int::Unary::ManFixPSETask.

Definition at line 115 of file task.hpp.

ModEvent Gecode::Int::Unary::ManFixPTask::lct ( Space home,
int  n 
) [inline]

Update latest completion time to n.

Reimplemented in Gecode::Int::Unary::ManFixPSETask.

Definition at line 119 of file task.hpp.

ModEvent Gecode::Int::Unary::ManFixPTask::norun ( Space home,
int  e,
int  l 
) [inline]

Update such that task cannot run from e to l.

Reimplemented in Gecode::Int::Unary::ManFixPSETask.

Definition at line 123 of file task.hpp.

ModEvent Gecode::Int::Unary::ManFixPTask::mandatory ( Space home) [inline]

Mark task as mandatory.

Definition at line 134 of file task.hpp.

ModEvent Gecode::Int::Unary::ManFixPTask::excluded ( Space home) [inline]

Mark task as excluded.

Definition at line 138 of file task.hpp.

void Gecode::Int::Unary::ManFixPTask::update ( Space home,
bool  share,
ManFixPTask t 
) [inline]

Update this task to be a clone of task t.

Definition at line 143 of file task.hpp.

void Gecode::Int::Unary::ManFixPTask::subscribe ( Space home,
Propagator p,
PropCond  pc = Int::PC_INT_BND 
) [inline]

Subscribe propagator p to task.

Definition at line 148 of file task.hpp.

void Gecode::Int::Unary::ManFixPTask::cancel ( Space home,
Propagator p,
PropCond  pc = Int::PC_INT_BND 
) [inline]

Cancel subscription of propagator p for task.

Definition at line 152 of file task.hpp.


Friends And Related Function Documentation

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

Print task in format est:p:lct.

Definition at line 158 of file task.hpp.


Member Data Documentation

Start time.

Definition at line 61 of file unary.hh.

Processing time.

Definition at line 63 of file unary.hh.


The documentation for this class was generated from the following files: