Uses of Class
gov.nasa.jpf.vm.GenericSGOIDHeap

Packages that use GenericSGOIDHeap

Package	Description
gov.nasa.jpf.vm

Uses of GenericSGOIDHeap in gov.nasa.jpf.vm

Subclasses of GenericSGOIDHeap in 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.