Generated on Fri Oct 19 11:26:09 2018 for Gecode by doxygen 1.6.3

Gecode::Int::Cumulative::ManFlexTask Class Reference

Cumulative (mandatory) task with flexible processing time. More...

#include <cumulative.hh>

List of all members.

Protected Attributes

int _c
 Required capacity.

Constructors and initialization



 ManFlexTask (void)
 Default constructor.
 ManFlexTask (IntVar s, IntVar p, IntVar e, int c)
 Initialize with start time s, processing time p, end time e.
void init (IntVar s, IntVar p, IntVar e, int c)
 Initialize with start time s, processing time p, end time e.
void init (const ManFlexTask &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, ManFlexTask &t)
 Update this task to be a clone of task t.

Detailed Description

Cumulative (mandatory) task with flexible processing time.

Definition at line 166 of file cumulative.hh.


Constructor & Destructor Documentation

ManFlexTask::ManFlexTask ( void   )  [inline]

Default constructor.

Reimplemented from Gecode::Int::Unary::ManFlexTask.

Definition at line 125 of file task.hpp.

ManFlexTask::ManFlexTask ( IntVar  s,
IntVar  p,
IntVar  e,
int  c 
) [inline]

Initialize with start time s, processing time p, end time e.

Definition at line 127 of file task.hpp.


Member Function Documentation

void ManFlexTask::init ( IntVar  s,
IntVar  p,
IntVar  e,
int  c 
) [inline]

Initialize with start time s, processing time p, end time e.

Definition at line 130 of file task.hpp.

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

Initialize from task t.

Definition at line 134 of file task.hpp.

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

Return required capacity.

Definition at line 139 of file task.hpp.

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

Return required energy.

Reimplemented from Gecode::Int::Unary::ManFlexTask.

Definition at line 143 of file task.hpp.

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

Update this task to be a clone of task t.

Definition at line 148 of file task.hpp.


Member Data Documentation

Required capacity.

Definition at line 169 of file cumulative.hh.


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