public final class IntervalDelta extends TimeStampedObject implements IIntervalDelta
add
a value, clear
the structure
and execute a Procedure
for each value stored.Constructor and Description |
---|
IntervalDelta(IEnvironment environment) |
Modifier and Type | Method and Description |
---|---|
void |
add(int lb,
int ub,
ICause cause)
Adds a new value interval to the delta
|
ICause |
getCause(int idx)
Return the cause of the idx^th cause stored in the delta, if any
|
int |
getLB(int idx)
Return the lower bound of idx^th interval stored in the delta, if any
|
int |
getUB(int idx)
Return the upper bound idx^th interval stored in the delta, if any
|
void |
lazyClear()
Lazy clear the delta, on world change
|
int |
size()
Returns the number of element
|
getEnvironment, getTimeStamp, needReset, resetStamp
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
getEnvironment
public IntervalDelta(IEnvironment environment)
public void lazyClear()
IDelta
public void add(int lb, int ub, ICause cause)
IIntervalDelta
add
in interface IIntervalDelta
lb
- lower bound of removed intervalub
- upper bound of removed intervalcause
- of the removalpublic int getLB(int idx)
IIntervalDelta
getLB
in interface IIntervalDelta
idx
- rank of the intervalpublic int getUB(int idx)
IIntervalDelta
getUB
in interface IIntervalDelta
idx
- rank of the intervalpublic ICause getCause(int idx)
IntDelta
Copyright © 2015. All rights reserved.