|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Objectchoco.kernel.memory.trailing.StoredIntVector
public final class StoredIntVector
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 |
protected StoredIntVectorTrail |
myTrail
|
int[] |
worldStamps
Contains time stamps for all entries (the world index of the last update for each entry) |
Fields inherited from interface choco.kernel.memory.IStateIntVector |
---|
LOGGER |
Constructor Summary | |
---|---|
StoredIntVector(EnvironmentTrailing env)
Constructs an empty stored search vector. |
|
StoredIntVector(EnvironmentTrailing env,
int[] entries)
|
|
StoredIntVector(EnvironmentTrailing env,
int initialSize,
int initialValue)
Constructs a stored search vector with an initial size, and initial values. |
Method Summary | |
---|---|
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. |
boolean |
contain(int val)
|
void |
ensureCapacity(int minCapacity)
Checks if the capacity is great enough, else the capacity is extended. |
int |
get(int index)
Returns the index th element of the vector. |
DisposableIntIterator |
getIterator()
|
boolean |
isEmpty()
Checks if the vector is empty. |
int |
quickGet(int index)
access an element without any bound check |
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 . |
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 |
---|
public static final int MIN_CAPACITY
public int[] worldStamps
protected final StoredIntVectorTrail myTrail
Constructor Detail |
---|
public StoredIntVector(EnvironmentTrailing env, int initialSize, int initialValue)
env
- The current environment.initialSize
- The initial size.initialValue
- The initial common value.public StoredIntVector(EnvironmentTrailing env, int[] entries)
public StoredIntVector(EnvironmentTrailing env)
env
- The current environment.Method Detail |
---|
public int size()
size
in interface IStateIntVector
public boolean isEmpty()
isEmpty
in interface IStateIntVector
public void ensureCapacity(int minCapacity)
minCapacity
- the necessary capacity.public void add(int i)
add
in interface IStateIntVector
i
- The search to add.public void remove(int i)
remove
in interface IStateIntVector
i
- The search to remove.public void removeLast()
removeLast
in interface IStateIntVector
public int get(int index)
index
th element of the vector.
get
in interface IStateIntVector
public final int quickGet(int index)
IStateIntVector
quickGet
in interface IStateIntVector
public boolean contain(int val)
contain
in interface IStateIntVector
public int set(int index, int val)
val
to the element index
.
set
in interface IStateIntVector
public final int quickSet(int index, int val)
IStateIntVector
quickSet
in interface IStateIntVector
index
- the index where the value is modifiedval
- the new value
public int _set(int index, int val, int stamp)
public DisposableIntIterator getIterator()
getIterator
in interface IStateIntVector
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |