Gecode::Int::Unary::ManFixPTask Class Reference

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

`#include <unary.hh>`

## Protected Attributes

Int::IntView | _s
| Start time.
int | _p
| Processing time.

## Constructors and initialization

| 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.

## 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.
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.

## Domain tests

bool | assigned (void) const
| Test whether task is assigned.

## 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.
ModEvent | mandatory (Space &home)
| Mark task as mandatory.
ModEvent | excluded (Space &home)
| Mark task as excluded.

## Cloning

void | update (Space &home, ManFixPTask &t)
| Update this task to be a clone of task t.

## Dependencies

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 time

Definition at line 54 of file unary.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 )

inline

Initialize with start time s and processing time p.

Definition at line 45 of file task.hpp.

## Member Function Documentation

## init() [1/2]

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

inline

Initialize with start time s and processing time p.

Definition at line 47 of file task.hpp.

## init() [2/2]

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

inline

Initialize from task t.

Definition at line 51 of file task.hpp.

## est() [1/2]

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

inline

Return earliest start time.

Definition at line 56 of file task.hpp.

## ect() [1/2]

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

inline

Return earliest completion time.

Definition at line 60 of file task.hpp.

## lst() [1/2]

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

inline

Return latest start time.

Definition at line 64 of file task.hpp.

## lct() [1/2]

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

inline

Return latest completion time.

Definition at line 68 of file task.hpp.

## pmin()

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

inline

Return minimum processing time.

Definition at line 72 of file task.hpp.

## pmax()

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

inline

Return maximum processing time.

Definition at line 76 of file task.hpp.

## st()

IntVar ManFixPTask::st | ( | void |  | ) | const

inline

Return start time.

Definition at line 80 of file task.hpp.

## mandatory() [1/2]

bool ManFixPTask::mandatory | ( | void |  | ) | const

inline

Whether task is mandatory.

Definition at line 85 of file task.hpp.

## excluded() [1/2]

bool ManFixPTask::excluded | ( | void |  | ) | const

inline

Whether task is excluded.

Definition at line 89 of file task.hpp.

## optional()

bool ManFixPTask::optional | ( | void |  | ) | const

inline

Whether task can still be optional.

Definition at line 93 of file task.hpp.

## assigned()

bool ManFixPTask::assigned | ( | void |  | ) | const

inline

Test whether task is assigned.

Definition at line 98 of file task.hpp.

## est() [2/2]

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

inline

Update earliest start time to n.

Definition at line 103 of file task.hpp.

## ect() [2/2]

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

inline

Update earliest completion time to n.

Definition at line 107 of file task.hpp.

## lst() [2/2]

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

inline

Update latest start time to n.

Definition at line 111 of file task.hpp.

## lct() [2/2]

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

inline

Update latest completion time to n.

Definition at line 115 of file task.hpp.

## norun()

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

inline

Update such that task cannot run from e to l.

Definition at line 119 of file task.hpp.

## mandatory() [2/2]

ModEvent ManFixPTask::mandatory | ( | Space & | home | ) |

inline

Mark task as mandatory.

Definition at line 130 of file task.hpp.

## excluded() [2/2]

ModEvent ManFixPTask::excluded | ( | Space & | home | ) |

inline

Mark task as excluded.

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

## subscribe()

void ManFixPTask::subscribe | ( | Space & | home,
|  | Propagator & | p,
|  | PropCond | pc )

inline

Subscribe propagator p to task.

Definition at line 144 of file task.hpp.

## cancel()

void ManFixPTask::cancel | ( | Space & | home,
|  | Propagator & | p,
|  | PropCond | pc )

inline

Cancel subscription of propagator p for task.

Definition at line 148 of file task.hpp.

## reschedule()

void ManFixPTask::reschedule | ( | Space & | home,
|  | Propagator & | p,
|  | PropCond | pc )

inline

Schedule propagator p.

Definition at line 152 of file task.hpp.

## Member Data Documentation

## _s

Int::IntView Gecode::Int::Unary::ManFixPTask::_s

protected

Start time.

Definition at line 57 of file unary.hh.

## _p

int Gecode::Int::Unary::ManFixPTask::_p

protected

Processing time.

Definition at line 59 of file unary.hh.

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

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