Generated on Sat Feb 7 2015 02:01:46 for Gecode by doxygen 1.8.9.1
Gecode::Int::Cumulative::ManFlexTask Class Reference

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

#include <cumulative.hh>

Protected Attributes

int _c
 Required capacity. More...
 
- Protected Attributes inherited from Gecode::Int::Unary::ManFlexTask
Int::IntView _s
 Start time. More...
 
Int::IntView _p
 Processing time. More...
 
Int::IntView _e
 End time. More...
 

Constructors and initialization

 ManFlexTask (void)
 Default constructor. More...
 
 ManFlexTask (IntVar s, IntVar p, IntVar e, int c)
 Initialize with start time s, processing time p, end time e. More...
 
void init (IntVar s, IntVar p, IntVar e, int c)
 Initialize with start time s, processing time p, end time e. More...
 
void init (const ManFlexTask &t)
 Initialize from task t. More...
 

Value access

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

Cloning

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

Additional Inherited Members

- Public Member Functions inherited from Gecode::Int::Unary::ManFlexTask
 ManFlexTask (void)
 Default constructor. More...
 
 ManFlexTask (IntVar s, IntVar p, IntVar e)
 Initialize with start time s, processing time p, end time e. More...
 
void init (IntVar s, IntVar p, IntVar e)
 Initialize with start time s, processing time p, end time e. More...
 
void init (const ManFlexTask &t)
 Initialize from task t. More...
 
int est (void) const
 Return earliest start time. More...
 
int ect (void) const
 Return earliest completion time. More...
 
int lst (void) const
 Return latest start time. More...
 
int lct (void) const
 Return latest completion time. More...
 
int pmin (void) const
 Return minimum processing time. More...
 
int pmax (void) const
 Return maximum processing time. More...
 
IntVar st (void) const
 Return start time. More...
 
IntVar p (void) const
 Return processing time. More...
 
IntVar e (void) const
 Return end time. More...
 
bool mandatory (void) const
 Whether task is mandatory. More...
 
bool excluded (void) const
 Whether task is excluded. More...
 
bool optional (void) const
 Whether task can still be optional. More...
 
bool assigned (void) const
 Test whether task is assigned. More...
 
ModEvent est (Space &home, int n)
 Update earliest start time to n. More...
 
ModEvent ect (Space &home, int n)
 Update earliest completion time to n. More...
 
ModEvent lst (Space &home, int n)
 Update latest start time to n. More...
 
ModEvent lct (Space &home, int n)
 Update latest completion time to n. More...
 
ModEvent norun (Space &home, int e, int l)
 Update such that task cannot run from e to l. More...
 
ModEvent mandatory (Space &home)
 Mark task as mandatory. More...
 
ModEvent excluded (Space &home)
 Mark task as excluded. More...
 
void update (Space &home, bool share, ManFlexTask &t)
 Update this task to be a clone of task t. More...
 
void subscribe (Space &home, Propagator &p, PropCond pc=Int::PC_INT_BND)
 Subscribe propagator p to task. More...
 
void cancel (Space &home, Propagator &p, PropCond pc=Int::PC_INT_BND)
 Cancel subscription of propagator p for task. More...
 

Detailed Description

Cumulative (mandatory) task with flexible processing time.

Definition at line 170 of file cumulative.hh.

Constructor & Destructor Documentation

ManFlexTask::ManFlexTask ( void  )
inline

Default constructor.

Definition at line 129 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 131 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 134 of file task.hpp.

void ManFlexTask::init ( const ManFlexTask t)
inline

Initialize from task t.

Definition at line 138 of file task.hpp.

int ManFlexTask::c ( void  ) const
inline

Return required capacity.

Definition at line 143 of file task.hpp.

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

Return required energy.

Definition at line 147 of file task.hpp.

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

Update this task to be a clone of task t.

Definition at line 152 of file task.hpp.

Member Data Documentation

int Gecode::Int::Cumulative::ManFlexTask::_c
protected

Required capacity.

Definition at line 173 of file cumulative.hh.


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