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.
|
<E> SparseClusterArray.Chunk |
SparseClusterArray.Chunk.deepCopy(Cloner<E> cloner) |