choco.kernel.memory
Interface IStateIntInterval


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

getInf

int getInf()
Returns the current lower bound according to the current world

Returns:
The current lower bound of the storable variable.

setInf

void setInf(int y)
Modifies the inf value and stores if needed the former value on the trailing stack.

Parameters:
y - the new value of the inf variable.

addInf

void addInf(int delta)
Modifying a StoredIntInterval inf by an increment.

Parameters:
delta - the inf value to add to the current value.

getSup

int getSup()
Returns the current upper bound according to the current world

Returns:
The current upper bound of the storable variable.

setSup

void setSup(int y)
Modifies the sup value and stores if needed the former value on the trailing stack.

Parameters:
y - the new value of the sup variable.

addSup

void addSup(int delta)
Modifying a StoredIntInterval sup by an increment.

Parameters:
delta - the sup value to add to the current value.

getSize

int getSize()
Returns size of the interval

Returns:
size of the interval

getEnvironment

IEnvironment getEnvironment()
Retrieving the environment.

Returns:
the environment associated to this variable (the object responsible to manage worlds and storable variables).

contains

boolean contains(int x)
Checks wether the stored interval contains x

Parameters:
x - the value to check
Returns:
wether x is contained


Copyright © 2012. All Rights Reserved.