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.
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.

isKnown

boolean isKnown()

Checks if a value is currently stored.

set

void set(int y)

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

add

void add(int delta)

modifying a StoredInt by an increment

Parameters:

delta -

getEnvironment

Environment getEnvironment()

Retrieving the environment