Package org.jacop.constraints.cumulative
Class TaskReversedView
- java.lang.Object
-
- org.jacop.constraints.cumulative.Task
-
- org.jacop.constraints.cumulative.TaskView
-
- org.jacop.constraints.cumulative.TaskReversedView
-
class TaskReversedView extends TaskView
Represents tasks for cumulative constraint- Version:
- 4.7
-
-
Constructor Summary
Constructors Constructor Description TaskReversedView(IntVar start, IntVar dur, IntVar res)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description (package private) int
ect()
(package private) long
env(long C)
(package private) int
est()
(package private) boolean
exists()
(package private) int
lct()
(package private) int
lst()
(package private) boolean
maxNonZero()
(package private) void
updateDetectable(int storeLevel, int lct)
(package private) void
updateEdgeFind(int storeLevel, int lct)
(package private) void
updateNotFirstNotLast(int storeLevel, int lct)
-
-
-
Method Detail
-
updateEdgeFind
void updateEdgeFind(int storeLevel, int lct)
- Specified by:
updateEdgeFind
in classTaskView
-
updateNotFirstNotLast
void updateNotFirstNotLast(int storeLevel, int lct)
- Specified by:
updateNotFirstNotLast
in classTaskView
-
updateDetectable
void updateDetectable(int storeLevel, int lct)
- Specified by:
updateDetectable
in classTaskView
-
maxNonZero
boolean maxNonZero()
- Specified by:
maxNonZero
in classTaskView
-
-