Gecode::Int::FwdToBwd< TaskView > Class Template Reference

Task mapper: turns a task view into its dual. More...

`#include <task.hh>`

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

## Detailed Description

template<class TaskView>
class Gecode::Int::FwdToBwd< TaskView >

Task mapper: turns a task view into its dual.

Definition at line 102 of file task.hh.

## Member Function Documentation

## est() [1/2]

template<class TaskView>

int Gecode::Int::FwdToBwd< TaskView >::est | ( | void |  | ) | const

inline

Return earliest start time.

Definition at line 41 of file fwd-to-bwd.hpp.

## ect() [1/2]

template<class TaskView>

int Gecode::Int::FwdToBwd< TaskView >::ect | ( | void |  | ) | const

inline

Return earliest completion time.

Definition at line 46 of file fwd-to-bwd.hpp.

## lst() [1/2]

template<class TaskView>

int Gecode::Int::FwdToBwd< TaskView >::lst | ( | void |  | ) | const

inline

Return latest start time.

Definition at line 51 of file fwd-to-bwd.hpp.

## lct() [1/2]

template<class TaskView>

int Gecode::Int::FwdToBwd< TaskView >::lct | ( | void |  | ) | const

inline

Return latest completion time.

Definition at line 56 of file fwd-to-bwd.hpp.

## pmin()

template<class TaskView>

int Gecode::Int::FwdToBwd< TaskView >::pmin | ( | void |  | ) | const

inline

Return minimum processing time.

Definition at line 61 of file fwd-to-bwd.hpp.

## pmax()

template<class TaskView>

int Gecode::Int::FwdToBwd< TaskView >::pmax | ( | void |  | ) | const

inline

Return maximum processing time.

Definition at line 66 of file fwd-to-bwd.hpp.

## est() [2/2]

template<class TaskView>

ModEvent Gecode::Int::FwdToBwd< TaskView >::est | ( | Space & | home,
|  | int | n )

inline

Update earliest start time to n.

Definition at line 72 of file fwd-to-bwd.hpp.

## ect() [2/2]

template<class TaskView>

ModEvent Gecode::Int::FwdToBwd< TaskView >::ect | ( | Space & | home,
|  | int | n )

inline

Update earliest completion time to n.

Definition at line 77 of file fwd-to-bwd.hpp.

## lst() [2/2]

template<class TaskView>

ModEvent Gecode::Int::FwdToBwd< TaskView >::lst | ( | Space & | home,
|  | int | n )

inline

Update latest start time to n.

Definition at line 82 of file fwd-to-bwd.hpp.

## lct() [2/2]

template<class TaskView>

ModEvent Gecode::Int::FwdToBwd< TaskView >::lct | ( | Space & | home,
|  | int | n )

inline

Update latest completion time to n.

Definition at line 87 of file fwd-to-bwd.hpp.

## norun()

template<class TaskView>

ModEvent Gecode::Int::FwdToBwd< TaskView >::norun | ( | Space & | home,
|  | int | e,
|  | int | l )

inline

Update such that task cannot run from e to l.

Definition at line 92 of file fwd-to-bwd.hpp.

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

- gecode/int/task.hh
- gecode/int/task/fwd-to-bwd.hpp