Package | Description |
---|---|
gov.nasa.jpf.util |
Modifier and Type | Method and Description |
---|---|
<T> SparseClusterArray.Snapshot<E,T> |
SparseClusterArray.getSnapshot(Transformer<E,T> transformer)
create a snapshot that can be used to restore a certain state of our array
This is more suitable than cloning in case the array is very sparse, or
the elements contain a lot of transient data we don't want to store
|
Modifier and Type | Method and Description |
---|---|
protected <T> void |
SparseClusterArray.populateSnapshot(SparseClusterArray.Snapshot<E,T> snap,
Transformer<E,T> transformer) |
<T> void |
SparseClusterArray.restore(SparseClusterArray.Snapshot<E,T> snap,
Transformer<T,E> transformer) |