Uses of Class
gov.nasa.jpf.util.SparseClusterArray

Packages that use SparseClusterArray

Package	Description
gov.nasa.jpf.util

Uses of SparseClusterArray in gov.nasa.jpf.util

Methods in gov.nasa.jpf.util that return SparseClusterArray

Modifier and Type	Method and Description
SparseClusterArray<E>	SparseClusterArray.deepCopy(Cloner<E> elementCloner) deep copy we need to do this depth first, right-to-left, to maintain the Chunk list ordering.

Constructors in gov.nasa.jpf.util with parameters of type SparseClusterArray

Constructor and Description
SparseClusterArray(SparseClusterArray base) be careful, this should only be used to get old stored elements during a Snapshot restore