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.8
-
-
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) 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 lct)(package private) voidupdateEdgeFind(int storeLevel, int lct)(package private) voidupdateNotFirstNotLast(int storeLevel, int lct)
-
-
-
Method Detail
-
updateEdgeFind
void updateEdgeFind(int storeLevel, int lct)- Specified by:
updateEdgeFindin classTaskView
-
updateNotFirstNotLast
void updateNotFirstNotLast(int storeLevel, int lct)- Specified by:
updateNotFirstNotLastin classTaskView
-
updateDetectable
void updateDetectable(int storeLevel, int lct)- Specified by:
updateDetectablein classTaskView
-
maxNonZero
boolean maxNonZero()
- Specified by:
maxNonZeroin classTaskView
-
-