Gecode::Int::Cumulative::ManFixPTask Class Reference

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

`#include <cumulative.hh>`

## Protected Attributes

int | _c
| Required capacity.
Protected Attributes inherited from Gecode::Int::Unary::ManFixPTask
Int::IntView | _s
| Start time.
int | _p
| Processing time.

## Constructors and initialization

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

## Additional Inherited Members

| ManFixPTask (void)
| Default constructor.
| ManFixPTask (IntVar s, int p)
| Initialize with start time s and processing time p.
void | init (IntVar s, int p)
| Initialize with start time s and processing time p.
void | init (const ManFixPTask &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.
IntVar | st (void) const
| Return start time.
bool | mandatory (void) const
| Whether task is mandatory.
bool | excluded (void) const
| Whether task is excluded.
bool | optional (void) const
| Whether task can still be optional.
bool | assigned (void) const
| Test whether task is assigned.
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.
ModEvent | mandatory (Space &home)
| Mark task as mandatory.
ModEvent | excluded (Space &home)
| Mark task as excluded.
void | update (Space &home, ManFixPTask &t)
| Update this task to be a clone of task t.
void | subscribe (Space &home, Propagator &p, PropCond pc)
| Subscribe propagator p to task.
void | cancel (Space &home, Propagator &p, PropCond pc)
| Cancel subscription of propagator p for task.
void | reschedule (Space &home, Propagator &p, PropCond pc)
| Schedule propagator p.

## Detailed Description

Cumulative (mandatory) task with fixed processing time.

Definition at line 70 of file cumulative.hh.

## Constructor & Destructor Documentation

## ManFixPTask() [1/2]

ManFixPTask::ManFixPTask | ( | void |  | ) |

inline

Default constructor.

Definition at line 43 of file task.hpp.

## ManFixPTask() [2/2]

ManFixPTask::ManFixPTask | ( | IntVar | s,
|  | int | p,
|  | int | c )

inline

Initialize task with start time s, processing time p, and required resource c.

Definition at line 45 of file task.hpp.

## Member Function Documentation

## init() [1/2]

void ManFixPTask::init | ( | IntVar | s,
|  | int | p,
|  | int | c )

inline

Initialize task with start time s, processing time p, and required resource c.

Definition at line 48 of file task.hpp.

## init() [2/2]

void ManFixPTask::init | ( | const ManFixPTask & | t | ) |

inline

Initialize from task t.

Definition at line 52 of file task.hpp.

## c()

int ManFixPTask::c | ( | void |  | ) | const

inline

Return required capacity.

Definition at line 57 of file task.hpp.

## e()

long long int ManFixPTask::e | ( | void |  | ) | const

inline

Return required energy.

Definition at line 61 of file task.hpp.

## update()

void ManFixPTask::update | ( | Space & | home,
|  | ManFixPTask & | t )

inline

Update this task to be a clone of task t.

Definition at line 66 of file task.hpp.

## Member Data Documentation

## _c

int Gecode::Int::Cumulative::ManFixPTask::_c

protected

Required capacity.

Definition at line 73 of file cumulative.hh.

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

- gecode/int/cumulative.hh
- gecode/int/cumulative/task.hpp