Package org.jacop.constraints.cumulative
Class TaskNormalView
- java.lang.Object
-
- org.jacop.constraints.cumulative.Task
-
- org.jacop.constraints.cumulative.TaskView
-
- org.jacop.constraints.cumulative.TaskNormalView
-
class TaskNormalView extends TaskView
Represents tasks for cumulative constraint- Version:
- 4.8
-
-
Constructor Summary
Constructors Constructor Description TaskNormalView(IntVar start, IntVar dur, IntVar res)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description (package private) intect()(package private) longenv(long C)(package private) intest()(package private) booleanexists()(package private) intlct()(package private) intlst()(package private) booleanmaxNonZero()(package private) voidupdateDetectable(int storeLevel, int est)(package private) voidupdateEdgeFind(int storeLevel, int est)(package private) voidupdateNotFirstNotLast(int storeLevel, int lct)
-
-
-
Method Detail
-
updateEdgeFind
void updateEdgeFind(int storeLevel, int est)- Specified by:
updateEdgeFindin classTaskView
-
updateNotFirstNotLast
void updateNotFirstNotLast(int storeLevel, int lct)- Specified by:
updateNotFirstNotLastin classTaskView
-
updateDetectable
void updateDetectable(int storeLevel, int est)- Specified by:
updateDetectablein classTaskView
-
maxNonZero
boolean maxNonZero()
- Specified by:
maxNonZeroin classTaskView
-
-