39 template<
class TaskView>
42 return -TaskView::lct();
44 template<
class TaskView>
47 return -TaskView::lst();
49 template<
class TaskView>
52 return -TaskView::ect();
54 template<
class TaskView>
57 return -TaskView::est();
59 template<
class TaskView>
62 return TaskView::pmin();
64 template<
class TaskView>
67 return TaskView::pmax();
70 template<
class TaskView>
73 return TaskView::lct(home,-n);
75 template<
class TaskView>
78 return TaskView::lst(home,-n);
80 template<
class TaskView>
83 return TaskView::ect(home,-n);
85 template<
class TaskView>
88 return TaskView::est(home,-n);
90 template<
class TaskView>
93 return TaskView::norun(home,-l,-e);
int ect(void) const
Return earliest completion time.
int lst(void) const
Return latest start time.
int lct(void) const
Return latest completion time.
ModEvent norun(Space &home, int e, int l)
Update such that task cannot run from e to l.
int est(void) const
Return earliest start time.
int pmin(void) const
Return minimum processing time.
int pmax(void) const
Return maximum processing time.
Gecode toplevel namespace
int ModEvent
Type for modification events.