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
-
Field Summary
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescription(package private) int
ect()
(package private) long
env
(long c) (package private) int
est()
(package private) int
lct()
(package private) int
lst()
(package private) void
updateDetectable
(int storeLevel, int lct) (package private) void
updateEdgeFind
(int storeLevel, int lct) (package private) void
updateNotFirstNotLast
(int storeLevel, int lct)
-
Constructor Details
-
TaskReversedView
-
-
Method Details
-
lct
int lct() -
ect
int ect() -
est
int est() -
lst
int lst() -
env
long env(long c) -
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
-