choco.mem
Interface IStateInt

All Known Implementing Classes:

StoredInt

public interface IStateInt

Describes an integer with states (describing some history of the data structure).

Field Summary

static int	MAXINT Maximum value an integer can be equal to.
static int	MININT Minimum value an integer can be equal to.
static int	UNKNOWN_INT Value for an unknown integer.

Method Summary

void	add(int delta) Modifying a StoredInt by an increment.
int	get() Returns the current value according to the current world.
Environment	getEnvironment() Retrieving the environment.
boolean	isKnown() Checks if a value is currently stored.
void	set(int y) Modifies the value and stores if needed the former value on the trailing stack.

Field Detail

UNKNOWN_INT

static final int UNKNOWN_INT

Value for an unknown integer.

See Also:

Constant Field Values

MININT

static final int MININT

Minimum value an integer can be equal to.

See Also:

Constant Field Values

MAXINT

static final int MAXINT

Maximum value an integer can be equal to.

See Also:

Constant Field Values

Method Detail

get

int get()

Returns the current value according to the current world.

Returns:

The current value of the storable variable.

isKnown

boolean isKnown()

Checks if a value is currently stored.

Returns:

true if the value is known (different from UNKNOWN_INT).

set

void set(int y)

Modifies the value and stores if needed the former value on the trailing stack.

Parameters:

y - the new value of the variable.

add

void add(int delta)

Modifying a StoredInt by an increment.

Parameters:

delta - the value to add to the current value.

getEnvironment

Environment getEnvironment()

Retrieving the environment.

Returns:

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