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
Represents tasks for cumulative constraint
- Version:
- 4.8
-
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) boolean
exists()
(package private) int
lct()
(package private) int
lst()
(package private) boolean
(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
-
exists
boolean exists() -
maxNonZero
boolean maxNonZero()- Specified by:
maxNonZero
in classTaskView
-