Uses of Interface
gov.nasa.jpf.util.Cloner

Packages that use Cloner

Package	Description
gov.nasa.jpf.util

Uses of Cloner in gov.nasa.jpf.util

Methods in gov.nasa.jpf.util with parameters of type Cloner

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)