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