public interface IIntervalDelta extends IntDelta
Modifier and Type | Method and Description |
---|---|
void |
add(int lb,
int ub,
ICause cause)
Adds a new value interval to the delta
|
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
|
getEnvironment, lazyClear
void add(int lb, int ub, ICause cause)
lb
- lower bound of removed intervalub
- upper bound of removed intervalcause
- of the removalint getLB(int idx) throws IndexOutOfBoundsException
idx
- rank of the intervalIndexOutOfBoundsException
- if idx is out of the boundsint getUB(int idx) throws IndexOutOfBoundsException
idx
- rank of the intervalIndexOutOfBoundsException
- if idx is out of the boundsCopyright © 2018. All rights reserved.