Generated on Fri Aug 24 2012 04:52:29 for Gecode by doxygen 1.8.1.1
Protected Attributes
Gecode::Int::Cumulative::ManFixPSETask Class Reference

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

#include <cumulative.hh>

List of all members.

Protected Attributes

int _c
 Required capacity.
- Protected Attributes inherited from Gecode::Int::Unary::ManFixPSETask
TaskType _t
 Task type.
- Protected Attributes inherited from Gecode::Int::Unary::ManFixPTask
Int::IntView _s
 Start time.
int _p
 Processing time.

Constructors and initialization

 ManFixPSETask (void)
 Default constructor.
 ManFixPSETask (TaskType t, IntVar s, int p, int c)
 Initialize task.
void init (TaskType t, IntVar s, int p, int c)
 Initialize task.
void init (const ManFixPSETask &t)
 Initialize from task t.

Value access

int c (void) const
 Return required capacity.
double e (void) const
 Return required energy.

Cloning

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

Additional Inherited Members

- Public Member Functions inherited from Gecode::Int::Unary::ManFixPSETask
 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.
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.
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.
void update (Space &home, bool share, ManFixPSETask &t)
 Update this task to be a clone of task t.

Detailed Description

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

Definition at line 104 of file cumulative.hh.

Constructor & Destructor Documentation

ManFixPSETask::ManFixPSETask ( void  )
inline

Default constructor.

Reimplemented from Gecode::Int::Unary::ManFixPSETask.

Definition at line 88 of file task.hpp.

ManFixPSETask::ManFixPSETask ( TaskType  t,
IntVar  s,
int  p,
int  c 
)
inline

Initialize task.

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

Definition at line 90 of file task.hpp.

Member Function Documentation

void ManFixPSETask::init ( TaskType  t,
IntVar  s,
int  p,
int  c 
)
inline

Initialize task.

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

Definition at line 93 of file task.hpp.

void ManFixPSETask::init ( const ManFixPSETask &  t)
inline

Initialize from task t.

Definition at line 97 of file task.hpp.

int ManFixPSETask::c ( void  ) const
inline

Return required capacity.

Definition at line 102 of file task.hpp.

double ManFixPSETask::e ( void  ) const
inline

Return required energy.

Definition at line 106 of file task.hpp.

void ManFixPSETask::update ( Space &  home,
bool  share,
ManFixPSETask &  t 
)
inline

Update this task to be a clone of task t.

Definition at line 111 of file task.hpp.

Member Data Documentation

int Gecode::Int::Cumulative::ManFixPSETask::_c
protected

Required capacity.

Definition at line 107 of file cumulative.hh.

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