Uses of Class
gov.nasa.jpf.util.ObjVector.MutatingSnapshot

Packages that use ObjVector.MutatingSnapshot

Package	Description
gov.nasa.jpf.util

Uses of ObjVector.MutatingSnapshot in gov.nasa.jpf.util

Methods in gov.nasa.jpf.util that return ObjVector.MutatingSnapshot

Modifier and Type	Method and Description
<T> ObjVector.MutatingSnapshot<E,T>	ObjVector.getSnapshot(Transformer<E,T> transformer)

Methods in gov.nasa.jpf.util with parameters of type ObjVector.MutatingSnapshot

Modifier and Type	Method and Description
<T> void	ObjVector.restore(ObjVector.MutatingSnapshot<E,T> snap, Transformer<T,E> transformer)