Package | Description |
---|---|
gov.nasa.jpf.vm |
Modifier and Type | Class and Description |
---|---|
class |
OVHeap
a heap that implements search global object ids (SGOIDs) and uses
a simple ObjVector to store ElementInfos.
|
class |
PSIMHeap
heap implementation that uses a PersistentStagingMsbIntMap as the underlying container
This is intended for large state spaces, to minimize store/restore costs.
|