Package | Description |
---|---|
gov.nasa.jpf.util |
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.
|
Constructor and Description |
---|
SparseClusterArray(SparseClusterArray base)
be careful, this should only be used to get old stored elements during
a Snapshot restore
|