|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface IStateIntInterval
Method Summary | |
---|---|
void |
addInf(int delta)
Modifying a StoredIntInterval inf by an increment. |
void |
addSup(int delta)
Modifying a StoredIntInterval sup by an increment. |
boolean |
contains(int x)
Checks wether the stored interval contains x |
IEnvironment |
getEnvironment()
Retrieving the environment. |
int |
getInf()
Returns the current lower bound according to the current world |
int |
getSize()
Returns size of the interval |
int |
getSup()
Returns the current upper bound according to the current world |
void |
setInf(int y)
Modifies the inf value and stores if needed the former value on the trailing stack. |
void |
setSup(int y)
Modifies the sup value and stores if needed the former value on the trailing stack. |
Method Detail |
---|
int getInf()
void setInf(int y)
y
- the new value of the inf variable.void addInf(int delta)
delta
- the inf value to add to the current value.int getSup()
void setSup(int y)
y
- the new value of the sup variable.void addSup(int delta)
delta
- the sup value to add to the current value.int getSize()
IEnvironment getEnvironment()
boolean contains(int x)
x
- the value to check
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |