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
| int Gecode::Int::FwdToBwd< TaskView >::est | ( | void | ) | const [inline] |
Return earliest start time.
Definition at line 41 of file fwd-to-bwd.hpp.
| int Gecode::Int::FwdToBwd< TaskView >::ect | ( | void | ) | const [inline] |
Return earliest completion time.
Definition at line 46 of file fwd-to-bwd.hpp.
| int Gecode::Int::FwdToBwd< TaskView >::lst | ( | void | ) | const [inline] |
Return latest start time.
Definition at line 51 of file fwd-to-bwd.hpp.
| int Gecode::Int::FwdToBwd< TaskView >::lct | ( | void | ) | const [inline] |
Return latest completion time.
Definition at line 56 of file fwd-to-bwd.hpp.
| int Gecode::Int::FwdToBwd< TaskView >::pmin | ( | void | ) | const [inline] |
Return minimum processing time.
Definition at line 61 of file fwd-to-bwd.hpp.
| int Gecode::Int::FwdToBwd< TaskView >::pmax | ( | void | ) | const [inline] |
Return maximum processing time.
Definition at line 66 of file fwd-to-bwd.hpp.
| 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.
| 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.
| 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.
| 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.
| 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