gov.nasa.jpf.util

Class ObjVector.MutatingSnapshot<E,T>

java.lang.Object

gov.nasa.jpf.util.ObjVector.MutatingSnapshot<E,T>

Enclosing class:

ObjVector<E>

public static class ObjVector.MutatingSnapshot<E,T>
extends java.lang.Object

snapshot that can mutate element values, but therefore can't use block operations. This is slower to store/restore, but can be more memory efficient if the elements are fragmented (lots of small holes in data)

Method Summary

Modifier and Type	Method and Description
protected void	restore(ObjVector<E> vec, Transformer<T,E> transformer)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Method Detail

restore

protected void restore(ObjVector<E> vec,
                       Transformer<T,E> transformer)