Package | Description |
---|---|
gov.nasa.jpf.util |
Modifier and Type | Method and Description |
---|---|
SparseIntVector.Snapshot |
SparseIntVector.getSnapshot() |
Modifier and Type | Method and Description |
---|---|
void |
SparseIntVector.restore(SparseIntVector.Snapshot snap) |