org.chocosolver.memory.trailing

Class StoredIntVector

java.lang.Object

org.chocosolver.memory.IStateIntVector

org.chocosolver.memory.trailing.StoredIntVector

public final class StoredIntVector
extends IStateIntVector

Implements a backtrackable search vector.

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

Field Summary

Fields

Modifier and Type	Field and Description
protected StoredIntVectorTrail	myTrail
int[]	worldStamps Contains time stamps for all entries (the world index of the last update for each entry)

Fields inherited from class org.chocosolver.memory.IStateIntVector

elementData, environment, MIN_CAPACITY, size

Constructor Summary

Constructors

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

Method Summary

Modifier and Type	Method and Description
int	_set(int index, int val, int stamp) Sets an element without storing the previous value.
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	quickSet(int index, int val) Assigns a new value val to the element indexth and return the old value without bound check
void	remove(int i) Removes an int.
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.

Methods inherited from class org.chocosolver.memory.IStateIntVector

quickGet, rangeCheck

Methods inherited from class java.lang.Object

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

Field Detail

worldStamps

public int[] worldStamps

Contains time stamps for all entries (the world index of the last update for each entry)

myTrail

protected final StoredIntVectorTrail myTrail

Constructor Detail

StoredIntVector

public StoredIntVector(EnvironmentTrailing 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.

Method Detail

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 class IStateIntVector

Parameters:

i - The search to add.

remove

public void remove(int i)

Removes an int.

Parameters:

i - The search to remove.

removeLast

public void removeLast()

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

set

public int set(int index,
               int val)

Assigns a new value val to the element index.

Specified by:

set in class IStateIntVector

quickSet

public final int quickSet(int index,
                          int val)

Description copied from class: IStateIntVector

Assigns a new value val to the element indexth and return the old value without bound check

Specified by:

quickSet in class IStateIntVector

Parameters:

index - the index where the value is modified

val - the new value

Returns:

the old value

_set

public int _set(int index,
                int val,
                int stamp)

Sets an element without storing the previous value.