Uses of Class
gov.nasa.jpf.util.SparseIntVector.Snapshot

Packages that use SparseIntVector.Snapshot

Package	Description
gov.nasa.jpf.util

Uses of SparseIntVector.Snapshot in gov.nasa.jpf.util

Methods in gov.nasa.jpf.util that return SparseIntVector.Snapshot

Modifier and Type	Method and Description
SparseIntVector.Snapshot	SparseIntVector.getSnapshot()

Methods in gov.nasa.jpf.util with parameters of type SparseIntVector.Snapshot

Modifier and Type	Method and Description
void	SparseIntVector.restore(SparseIntVector.Snapshot snap)