Uses of Class
gov.nasa.jpf.util.IntTable

Packages that use IntTable

Package	Description
gov.nasa.jpf.util
gov.nasa.jpf.vm

Uses of IntTable in gov.nasa.jpf.util

Methods in gov.nasa.jpf.util that return IntTable

Modifier and Type	Method and Description
IntTable<E>	IntTable.clone()

Constructors in gov.nasa.jpf.util with parameters of type IntTable

Constructor and Description
IntTable.Snapshot(IntTable<E> t)

Uses of IntTable in gov.nasa.jpf.vm

Fields in gov.nasa.jpf.vm declared as IntTable

Modifier and Type	Field and Description
protected IntTable<AllocationContext>	GenericSGOIDHeap.allocCounts
protected IntTable<String>	OVStatics.ids
protected IntTable<String>	GenericHeap.internStrings
protected IntTable<Allocation>	GenericSGOIDHeap.sgoids