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 106 of file task.hh.
Member Function Documentation
int Gecode::Int::FwdToBwd< TaskView >::est | ( | void | ) | const [inline] |
Return earliest start time.
Definition at line 45 of file fwd-to-bwd.hpp.
int Gecode::Int::FwdToBwd< TaskView >::ect | ( | void | ) | const [inline] |
Return earliest completion time.
Definition at line 50 of file fwd-to-bwd.hpp.
int Gecode::Int::FwdToBwd< TaskView >::lst | ( | void | ) | const [inline] |
Return latest start time.
Definition at line 55 of file fwd-to-bwd.hpp.
int Gecode::Int::FwdToBwd< TaskView >::lct | ( | void | ) | const [inline] |
Return latest completion time.
Definition at line 60 of file fwd-to-bwd.hpp.
int Gecode::Int::FwdToBwd< TaskView >::pmin | ( | void | ) | const [inline] |
Return minimum processing time.
Definition at line 65 of file fwd-to-bwd.hpp.
int Gecode::Int::FwdToBwd< TaskView >::pmax | ( | void | ) | const [inline] |
Return maximum processing time.
Definition at line 70 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 76 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 81 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 86 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 91 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 96 of file fwd-to-bwd.hpp.
The documentation for this class was generated from the following files:
- gecode/int/task.hh (Revision: 15137)
- gecode/int/task/fwd-to-bwd.hpp (Revision: 14967)