choco.mem
Interface IStateIntVector

All Known Implementing Classes:

StoredIntVector, TwoStateIntVector

public interface IStateIntVector

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

Field Summary

static int

MIN_CAPACITY Minimal capacity of a vector

Method Summary

void	add(int i) Adds a new search at the end of the vector.
int	get(int index) Returns the indexth element of the vector.
boolean	isEmpty() Checks if the vector is empty.
void	removeLast() removes the search at the end of the vector.
int	set(int index, int val) Assigns a new value val to the element index.
int	size() Returns the current size of the stored search vector.

Field Detail

MIN_CAPACITY

static final int MIN_CAPACITY

Minimal capacity of a vector

See Also:

Constant Field Values

Method Detail

size

int size()

Returns the current size of the stored search vector.

isEmpty

boolean isEmpty()

Checks if the vector is empty.

add

void add(int i)

Adds a new search at the end of the vector.

Parameters:

i - The search to add.

removeLast

void removeLast()

removes the search at the end of the vector. does nothing when called on an empty vector

get

int get(int index)

Returns the indexth element of the vector.

set

int set(int index,
        int val)

Assigns a new value val to the element index.