Package | Description |
---|---|
gov.nasa.jpf.vm |
Modifier and Type | Class and Description |
---|---|
class |
GenericSGOIDHeap
abstract Heap trait that implements SGOIDs by means of a search global
Allocation map and a state managed allocCount map
|
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.
|