Generated on Tue Sep 25 2012 20:53:32 for Gecode by doxygen 1.7.5
Gecode::Int::Unary::ManFixPSETask Class Reference

Unary (mandatory) task with fixed processing, start or end time More...

#include <unary.hh>

List of all members.

Protected Attributes

TaskType _t
 Task type.

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 ManFixPSETask &t)
 Print task in format est:[p,c]:lct.

Constructors and initialization

 ManFixPSETask (void)
 Default constructor.
 ManFixPSETask (TaskType t, IntVar s, int p)
 Initialize task.
void init (TaskType t, IntVar s, int p)
 Initialize task.
void init (const ManFixPSETask &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.

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.

Cloning

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

Detailed Description

Unary (mandatory) task with fixed processing, start or end time


Constructor & Destructor Documentation

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

Default constructor.

Reimplemented in Gecode::Int::Cumulative::ManFixPSETask.

Definition at line 170 of file task.hpp.

Gecode::Int::Unary::ManFixPSETask::ManFixPSETask ( TaskType  t,
IntVar  s,
int  p 
) [inline]

Initialize task.

Depending on t, s is either the end time (if t is TT_FIXS) or the start time of the task, and p is the fixed parameter.

Definition at line 172 of file task.hpp.


Member Function Documentation

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

Initialize task.

Depending on t, s is either the end time (if t is FIXS) or the start time of the task, and p is the fixed parameter.

Definition at line 175 of file task.hpp.

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

Initialize from task t.

Definition at line 179 of file task.hpp.

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

Return earliest start time.

Reimplemented from Gecode::Int::Unary::ManFixPTask.

Definition at line 184 of file task.hpp.

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

Return earliest completion time.

Reimplemented from Gecode::Int::Unary::ManFixPTask.

Definition at line 188 of file task.hpp.

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

Return latest start time.

Reimplemented from Gecode::Int::Unary::ManFixPTask.

Definition at line 198 of file task.hpp.

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

Return latest completion time.

Reimplemented from Gecode::Int::Unary::ManFixPTask.

Definition at line 202 of file task.hpp.

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

Return minimum processing time.

Reimplemented from Gecode::Int::Unary::ManFixPTask.

Definition at line 212 of file task.hpp.

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

Return maximum processing time.

Reimplemented from Gecode::Int::Unary::ManFixPTask.

Definition at line 222 of file task.hpp.

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

Update earliest start time to n.

Reimplemented from Gecode::Int::Unary::ManFixPTask.

Definition at line 233 of file task.hpp.

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

Update earliest completion time to n.

Reimplemented from Gecode::Int::Unary::ManFixPTask.

Definition at line 243 of file task.hpp.

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

Update latest start time to n.

Reimplemented from Gecode::Int::Unary::ManFixPTask.

Definition at line 253 of file task.hpp.

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

Update latest completion time to n.

Reimplemented from Gecode::Int::Unary::ManFixPTask.

Definition at line 263 of file task.hpp.

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

Update such that task cannot run from e to l.

Reimplemented from Gecode::Int::Unary::ManFixPTask.

Definition at line 273 of file task.hpp.

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

Update this task to be a clone of task t.

Definition at line 299 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 ManFixPSETask t 
) [related]

Print task in format est:[p,c]:lct.

Definition at line 305 of file task.hpp.


Member Data Documentation

Task type.

Definition at line 153 of file unary.hh.


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