Gecode::Int::Unary::ManFixPSETask Class Reference

Unary (mandatory) task with fixed processing, start or end time More...

`#include <unary.hh>`

## Protected Attributes

TaskType | _t
| Task type.
Protected Attributes inherited from Gecode::Int::Unary::ManFixPTask
Int::IntView | _s
| Start time.
int | _p
| Processing time.

## Constructors and initialization

| ManFixPSETask (void)
| Default constructor.
| ManFixPSETask (TaskType t, IntVar s, int p)
| Initialize task.
void | init (TaskType t, IntVar s, int p)
| Initialize task.
void | init (const ManFixPSETask &t)
| Initialize from task t.

## Value access

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.

## Value update

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.

## Cloning

void | update (Space &home, ManFixPSETask &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

Unary (mandatory) task with fixed processing, start or end time

Definition at line 148 of file unary.hh.

## Constructor & Destructor Documentation

## ManFixPSETask() [1/2]

ManFixPSETask::ManFixPSETask | ( | void |  | ) |

inline

Default constructor.

Definition at line 170 of file task.hpp.

## ManFixPSETask() [2/2]

ManFixPSETask::ManFixPSETask | ( | TaskType | t,
|  | IntVar | s,
|  | int | p )

inline

Initialize task.

Depending on t, s is either the end time (if t is TT_FIXS) or the start time of the task, and p is the fixed parameter.

Definition at line 172 of file task.hpp.

## Member Function Documentation

## init() [1/2]

void ManFixPSETask::init | ( | TaskType | t,
|  | IntVar | s,
|  | int | p )

inline

Initialize task.

Depending on t, s is either the end time (if t is FIXS) or the start time of the task, and p is the fixed parameter.

Definition at line 175 of file task.hpp.

## init() [2/2]

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

inline

Initialize from task t.

Definition at line 179 of file task.hpp.

## est() [1/2]

int ManFixPSETask::est | ( | void |  | ) | const

inline

Return earliest start time.

Definition at line 184 of file task.hpp.

## ect() [1/2]

int ManFixPSETask::ect | ( | void |  | ) | const

inline

Return earliest completion time.

Definition at line 188 of file task.hpp.

## lst() [1/2]

int ManFixPSETask::lst | ( | void |  | ) | const

inline

Return latest start time.

Definition at line 198 of file task.hpp.

## lct() [1/2]

int ManFixPSETask::lct | ( | void |  | ) | const

inline

Return latest completion time.

Definition at line 202 of file task.hpp.

## pmin()

int ManFixPSETask::pmin | ( | void |  | ) | const

inline

Return minimum processing time.

Definition at line 212 of file task.hpp.

## pmax()

int ManFixPSETask::pmax | ( | void |  | ) | const

inline

Return maximum processing time.

Definition at line 222 of file task.hpp.

## est() [2/2]

ModEvent ManFixPSETask::est | ( | Space & | home,
|  | int | n )

inline

Update earliest start time to n.

Definition at line 233 of file task.hpp.

## ect() [2/2]

ModEvent ManFixPSETask::ect | ( | Space & | home,
|  | int | n )

inline

Update earliest completion time to n.

Definition at line 243 of file task.hpp.

## lst() [2/2]

ModEvent ManFixPSETask::lst | ( | Space & | home,
|  | int | n )

inline

Update latest start time to n.

Definition at line 253 of file task.hpp.

## lct() [2/2]

ModEvent ManFixPSETask::lct | ( | Space & | home,
|  | int | n )

inline

Update latest completion time to n.

Definition at line 263 of file task.hpp.

## norun()

ModEvent ManFixPSETask::norun | ( | Space & | home,
|  | int | e,
|  | int | l )

inline

Update such that task cannot run from e to l.

Definition at line 273 of file task.hpp.

## update()

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

inline

Update this task to be a clone of task t.

Definition at line 299 of file task.hpp.

## Member Data Documentation

## _t

TaskType Gecode::Int::Unary::ManFixPSETask::_t

protected

Task type.

Definition at line 151 of file unary.hh.

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

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