Uses of Interface
org.pcollections.PVector

Uses of PVector in org.pcollections

Classes in org.pcollections that implement PVector

Modifier and Type	Class	Description
class	TreePVector<E>	A persistent vector of elements.

Methods in org.pcollections that return PVector

Modifier and Type	Method	Description
PVector<E>	PVector.minus(int i)
PVector<E>	PVector.minus(java.lang.Object e)
PVector<E>	PVector.minusAll(java.util.Collection<?> list)
PVector<E>	PVector.plus(int i, E e)
PVector<E>	PVector.plus(E e)	Returns a vector consisting of the elements of this with e appended.
PVector<E>	PVector.plusAll(int i, java.util.Collection<? extends E> list)
PVector<E>	PVector.plusAll(java.util.Collection<? extends E> list)	Returns a vector consisting of the elements of this with list appended.
PVector<E>	PVector.subList(int start, int end)
static <E> PVector<E>	Empty.vector()
PVector<E>	PVector.with(int i, E e)
PVector<E>	TreePVector.with(int i, E e)