choco.mem
Class StoredIntVector

java.lang.Object
  choco.mem.StoredIntVector

All Implemented Interfaces:

IStateIntVector

public final class StoredIntVector
extends java.lang.Object
implements IStateIntVector

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

StoredIntVector(Environment env)
Constructs an empty stored search vector.

StoredIntVector(Environment env, int initialSize, int initialValue)
Constructs a stored search vector with an initial size, and initial values.

StoredIntVector(int[] entries)

Method Summary

void	add(int 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.
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.

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

StoredIntVector

public StoredIntVector(Environment env,
                       int initialSize,
                       int initialValue)

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

Parameters:

env - The current environment.

initialSize - The initial size.

initialValue - The initial common value.

StoredIntVector

public StoredIntVector(int[] entries)

StoredIntVector

public StoredIntVector(Environment env)

Constructs an empty stored search vector.

Parameters:

env - The current environment.

Method Detail

size

public int size()

Returns the current size of the stored search vector.

Specified by:

size in interface IStateIntVector

isEmpty

public boolean isEmpty()

Checks if the vector is empty.

Specified by:

isEmpty in interface IStateIntVector

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 void add(int i)

Adds a new search at the end of the vector.

Specified by:

add in interface IStateIntVector

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

Specified by:

removeLast in interface IStateIntVector

get

public int get(int index)

Returns the indexth element of the vector.

Specified by:

get in interface IStateIntVector

set

public int set(int index,
               int val)

Assigns a new value val to the element index.

Specified by:

set in interface IStateIntVector