choco.mem
Class StoredVector

java.lang.Object
  choco.mem.StoredVector

public final class StoredVector
extends java.lang.Object

Implements a backtrackable search vector.

Cette classe permet de stocker facilment des entiers dans un tableau backtrackable d'entiers.

Field Summary

static int

MIN_CAPACITY Minimal capacity of a vector

Constructor Summary

StoredVector(Environment env)
Constructs a stored search vector with an initial size, and initial values.

StoredVector(int[] entries)

Method Summary

boolean	add(java.lang.Object i) Adds a new search at the end of the vector.
void	ensureCapacity(int minCapacity) Checks if the capacity is great enough, else the capacity is extended.
java.lang.Object	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.
java.lang.Object	set(int index, java.lang.Object val) Assigns a new value val to the element index.
int	size() Returns the current size of the stored search vector.

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Field Detail

MIN_CAPACITY

public static final int MIN_CAPACITY

Minimal capacity of a vector

See Also:

Constant Field Values

Constructor Detail

StoredVector

public StoredVector(Environment env)

Constructs a stored search vector with an initial size, and initial values.

Parameters:

env - The current environment.

StoredVector

public StoredVector(int[] entries)

Method Detail

size

public int size()

Returns the current size of the stored search vector.

isEmpty

public boolean isEmpty()

Checks if the vector is empty.

ensureCapacity

public void ensureCapacity(int minCapacity)

Checks if the capacity is great enough, else the capacity is extended.

Parameters:

minCapacity - the necessary capacity.

add

public boolean add(java.lang.Object i)

Adds a new search at the end of the vector.

Parameters:

i - The search to add.

removeLast

public void removeLast()

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

get

public java.lang.Object get(int index)

Returns the indexth element of the vector.

set

public java.lang.Object set(int index,
                            java.lang.Object val)

Assigns a new value val to the element index.