38 namespace Gecode {
namespace Int {
43 template<
class TaskView>
46 return -TaskView::lct();
48 template<
class TaskView>
51 return -TaskView::lst();
53 template<
class TaskView>
56 return -TaskView::ect();
58 template<
class TaskView>
61 return -TaskView::est();
63 template<
class TaskView>
66 return TaskView::pmin();
68 template<
class TaskView>
71 return TaskView::pmax();
74 template<
class TaskView>
77 return TaskView::lct(home,-n);
79 template<
class TaskView>
82 return TaskView::lst(home,-n);
84 template<
class TaskView>
87 return TaskView::ect(home,-n);
89 template<
class TaskView>
92 return TaskView::est(home,-n);
94 template<
class TaskView>
97 return TaskView::norun(home,-l,-e);
ModEvent norun(Space &home, int e, int l)
Update such that task cannot run from e to l.
int ModEvent
Type for modification events.
int n
Number of negative literals for node type.
int ect(void) const
Return earliest completion time.
int est(void) const
Return earliest start time.
int lct(void) const
Return latest completion time.
int pmin(void) const
Return minimum processing time.
Gecode toplevel namespace
int lst(void) const
Return latest start time.
int pmax(void) const
Return maximum processing time.