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

abstract class TaskView
extends Task

Represents tasks for cumulative constraint

Version:

4.8

Field Summary

Fields inherited from class org.jacop.constraints.cumulative.Task

dur, index, res, start, treeIndex

Constructor Summary

Constructors

Constructor	Description
TaskView(IntVar start, IntVar dur, IntVar res)

Method Summary

Modifier and Type	Method	Description
(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	maxNonZero()
(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)

Methods inherited from class org.jacop.constraints.cumulative.Task

dur, e, res, start, toString

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait

Constructor Detail

TaskView

TaskView(IntVar start,
         IntVar dur,
         IntVar res)

Method Detail

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()