public enum NoDelta extends Enum<NoDelta> implements IEnumDelta, IIntervalDelta, ISetDelta
Enum Constant and Description |
---|
singleton |
Modifier and Type | Method and Description |
---|---|
void |
add(int value,
ICause cause)
Adds a new value to the delta
|
void |
add(int lb,
int ub,
ICause cause)
Adds a new value interval to the delta
|
int |
get(int idx)
Return the idx^th value stored in the delta, if any
|
int |
get(int index,
int kerOrEnv) |
ICause |
getCause(int idx)
Return the cause of the idx^th cause stored in the delta, if any
|
ICause |
getCause(int index,
int kerOrEnv) |
IEnvironment |
getEnvironment()
Return the associate environment
|
int |
getLB(int idx)
Return the lower bound of idx^th interval stored in the delta, if any
|
int |
getSize(int kerOrEnv) |
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
|
static NoDelta |
valueOf(String name)
Returns the enum constant of this type with the specified name.
|
static NoDelta[] |
values()
Returns an array containing the constants of this enum type, in
the order they are declared.
|
public static final NoDelta singleton
public static NoDelta[] values()
for (NoDelta c : NoDelta.values()) System.out.println(c);
public static NoDelta valueOf(String name)
name
- the name of the enum constant to be returned.IllegalArgumentException
- if this enum type has no constant with the specified nameNullPointerException
- if the argument is nullpublic void add(int value, ICause cause)
IEnumDelta
add
in interface IEnumDelta
value
- value to addcause
- of the removalpublic void lazyClear()
IDelta
public IEnvironment getEnvironment()
IDelta
getEnvironment
in interface IDelta
public void add(int lb, int ub, ICause cause)
IIntervalDelta
add
in interface IIntervalDelta
add
in interface ISetDelta
lb
- lower bound of removed intervalub
- upper bound of removed intervalcause
- of the removalpublic int getLB(int idx) throws IndexOutOfBoundsException
IIntervalDelta
getLB
in interface IIntervalDelta
idx
- rank of the intervalIndexOutOfBoundsException
- if idx is out of the boundspublic int getUB(int idx) throws IndexOutOfBoundsException
IIntervalDelta
getUB
in interface IIntervalDelta
idx
- rank of the intervalIndexOutOfBoundsException
- if idx is out of the boundspublic int get(int idx)
IEnumDelta
get
in interface IEnumDelta
idx
- rank of the valuepublic ICause getCause(int idx)
IntDelta
public int size()
IntDelta
Copyright © 2018. All rights reserved.