Package org.jacop.constraints.cumulative
Class TaskView
java.lang.Object
org.jacop.constraints.cumulative.Task
org.jacop.constraints.cumulative.TaskView
- Direct Known Subclasses:
TaskNormalView
,TaskReversedView
Represents tasks for cumulative constraint
- Version:
- 4.8
-
Field Summary
-
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescription(package private) abstract int
ect()
(package private) abstract long
env
(long C) (package private) abstract int
est()
(package private) abstract boolean
exists()
(package private) abstract int
lct()
(package private) abstract int
lst()
(package private) abstract boolean
(package private) abstract void
updateDetectable
(int storeLevel, int est) (package private) abstract void
updateEdgeFind
(int storeLevel, int upd) (package private) abstract void
updateNotFirstNotLast
(int storeLevel, int upd)
-
Constructor Details
-
TaskView
-
-
Method Details
-
lct
abstract int lct() -
ect
abstract int ect() -
est
abstract int est() -
lst
abstract int lst() -
env
abstract long env(long C) -
updateEdgeFind
abstract void updateEdgeFind(int storeLevel, int upd) -
updateNotFirstNotLast
abstract void updateNotFirstNotLast(int storeLevel, int upd) -
updateDetectable
abstract void updateDetectable(int storeLevel, int est) -
exists
abstract boolean exists() -
maxNonZero
abstract boolean maxNonZero()
-