Generated on Thu Apr 11 14:00:00 2019 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.
long long int e (void) const
 Return required energy.

Cloning



void update (Space &home, 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 112 of file cumulative.hh.


Constructor & Destructor Documentation

ManFixPSETask::ManFixPSETask ( void   )  [inline]

Default constructor.

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

Definition at line 84 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 86 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 89 of file task.hpp.

void ManFixPSETask::init ( const ManFixPSETask t  )  [inline]

Initialize from task t.

Definition at line 93 of file task.hpp.

int ManFixPSETask::c ( void   )  const [inline]

Return required capacity.

Definition at line 98 of file task.hpp.

long long int ManFixPSETask::e ( void   )  const [inline]

Return required energy.

Definition at line 102 of file task.hpp.

void ManFixPSETask::update ( Space home,
ManFixPSETask t 
) [inline]

Update this task to be a clone of task t.

Definition at line 107 of file task.hpp.


Member Data Documentation

Required capacity.

Definition at line 115 of file cumulative.hh.


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