Package | Description |
---|---|
gov.nasa.jpf.util | |
gov.nasa.jpf.vm | |
gov.nasa.jpf.vm.serialize |
Modifier and Type | Class and Description |
---|---|
class |
ArrayObjectQueue<E>
dynamically growing, cyclic array buffer queue for object references
|
class |
LinkedObjectQueue<E>
object queue that uses cached link entries
|
Modifier and Type | Field and Description |
---|---|
protected ObjectQueue<ElementInfo> |
GenericHeap.markQueue |
Modifier and Type | Field and Description |
---|---|
protected ObjectQueue<ElementInfo> |
FilteringSerializer.refQueue |