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

Field Summary

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

dur, index, res, start, treeIndex

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method	Description
(package private) int	ect()
(package private) long	env(long c)
(package private) int	est()
(package private) int	lct()
(package private) int	lst()
(package private) void	updateDetectable(int storeLevel, int est)
(package private) void	updateEdgeFind(int storeLevel, int est)
(package private) void	updateNotFirstNotLast(int storeLevel, int lct)

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

dur, e, exists, maxNonZero, res, start, toString

Methods inherited from class java.lang.Object

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

Constructor Details

TaskNormalView

TaskNormalView(IntVar start,
 IntVar dur,
 IntVar res)

Method Details

lct

int lct()

Specified by:

lct in class TaskView

ect

int ect()

Specified by:

ect in class TaskView

est

int est()

Specified by:

est in class TaskView

lst

int lst()

Specified by:

lst in class TaskView

env

long env(long c)

Specified by:

env in class TaskView

updateEdgeFind

void updateEdgeFind(int storeLevel,
 int est)

Specified by:

updateEdgeFind in class TaskView

updateNotFirstNotLast

void updateNotFirstNotLast(int storeLevel,
 int lct)

Specified by:

updateNotFirstNotLast in class TaskView

updateDetectable

void updateDetectable(int storeLevel,
 int est)

Specified by:

updateDetectable in class TaskView