org.chocosolver.memory.copy

Class RcIntVector

java.lang.Object

org.chocosolver.memory.IStateIntVector

org.chocosolver.memory.copy.RcIntVector

All Implemented Interfaces:

Serializable

public final class RcIntVector
extends IStateIntVector

See Also:

Serialized Form

Field Summary

Fields inherited from class org.chocosolver.memory.IStateIntVector

elementData, environment, MIN_CAPACITY, size

Constructor Summary

Constructors

Constructor and Description
RcIntVector(EnvironmentCopying env, int[] entries)
RcIntVector(EnvironmentCopying env, int initialSize, int initialValue) Constructs a stored search vector with an initial size, and initial values.

Method Summary

Methods

Modifier and Type	Method and Description
void	_set(int[] vals)
void	_set(int[] vals, int timeStamp)
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	getTimeStamp()
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

contains, deepCopy, get, isEmpty, quickGet, rangeCheck, size

Methods inherited from class java.lang.Object

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

Constructor Detail

RcIntVector

public RcIntVector(EnvironmentCopying 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.

RcIntVector

public RcIntVector(EnvironmentCopying env,
           int[] entries)

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.

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

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

remove

public void remove(int i)

Description copied from class: IStateIntVector

Removes an int.

Specified by:

remove in class IStateIntVector

Parameters:

i - The search to remove.

_set

public void _set(int[] vals)

_set

public void _set(int[] vals,
        int timeStamp)

getTimeStamp

public int getTimeStamp()