gov.nasa.jpf.util

Class SparseIntVector.Snapshot

java.lang.Object

gov.nasa.jpf.util.SparseIntVector.Snapshot

Enclosing class:

SparseIntVector

public static class SparseIntVector.Snapshot
extends java.lang.Object

a simplistic snapshot implementation that stores set indices/values in order to save space

Method Summary

Methods inherited from class java.lang.Object

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