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

Gecode::Scheduling::Unary::ManFixTask 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.

Constructors and initialization



 ManFixTask (void)
 Default constructor.
 ManFixTask (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.

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.
IntVar st (void) const
 Return start time.
int p (void) const
 Return processing time.

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.

Cloning



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

Dependencies



void subscribe (Space &home, Propagator &p)
 Subscribe propagator p to task.
void cancel (Space &home, Propagator &p)
 Cancel subscription of propagator p for task.

Detailed Description

Unary (mandatory) task with fixed processing time.

Definition at line 56 of file unary.hh.


Constructor & Destructor Documentation

ManFixTask::ManFixTask ( void   )  [inline]

Default constructor.

Definition at line 45 of file task.hpp.

ManFixTask::ManFixTask ( IntVar  s,
int  p 
) [inline]

Initialize with start time s and processing time p.

Definition at line 47 of file task.hpp.


Member Function Documentation

void ManFixTask::init ( IntVar  s,
int  p 
) [inline]

Initialize with start time s and processing time p.

Definition at line 49 of file task.hpp.

int ManFixTask::est ( void   )  const [inline]

Return earliest start time.

Definition at line 54 of file task.hpp.

int ManFixTask::ect ( void   )  const [inline]

Return earliest completion time.

Definition at line 58 of file task.hpp.

int ManFixTask::lst ( void   )  const [inline]

Return latest start time.

Definition at line 62 of file task.hpp.

int ManFixTask::lct ( void   )  const [inline]

Return latest completion time.

Definition at line 66 of file task.hpp.

IntVar ManFixTask::st ( void   )  const [inline]

Return start time.

Definition at line 70 of file task.hpp.

int ManFixTask::p ( void   )  const [inline]

Return processing time.

Definition at line 74 of file task.hpp.

bool ManFixTask::assigned ( void   )  const [inline]

Test whether task is assigned.

Definition at line 79 of file task.hpp.

ModEvent ManFixTask::est ( Space home,
int  n 
) [inline]

Update earliest start time to n.

Definition at line 84 of file task.hpp.

ModEvent ManFixTask::ect ( Space home,
int  n 
) [inline]

Update earliest completion time to n.

Definition at line 88 of file task.hpp.

ModEvent ManFixTask::lst ( Space home,
int  n 
) [inline]

Update latest start time to n.

Definition at line 92 of file task.hpp.

ModEvent ManFixTask::lct ( Space home,
int  n 
) [inline]

Update latest completion time to n.

Definition at line 96 of file task.hpp.

void ManFixTask::update ( Space home,
bool  share,
ManFixTask t 
) [inline]

Update this task to be a clone of task t.

Definition at line 101 of file task.hpp.

void ManFixTask::subscribe ( Space home,
Propagator p 
) [inline]

Subscribe propagator p to task.

Definition at line 106 of file task.hpp.

void ManFixTask::cancel ( Space home,
Propagator p 
) [inline]

Cancel subscription of propagator p for task.

Definition at line 110 of file task.hpp.


Member Data Documentation

Start time.

Definition at line 59 of file unary.hh.

Processing time.

Definition at line 61 of file unary.hh.


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