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

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.

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.

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

Required capacity.

Definition at line 107 of file cumulative.hh.


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