Uses of Interface
gov.nasa.jpf.util.ReadOnlyObjList

Packages that use ReadOnlyObjList

Package	Description
gov.nasa.jpf.util

Uses of ReadOnlyObjList in gov.nasa.jpf.util

Classes in gov.nasa.jpf.util that implement ReadOnlyObjList

Modifier and Type	Class and Description
class	ObjArray<E> Wrapper for arrays of objects which provides proper equals() and hashCode() methods, and behaves nicely with Java 1.5 generics.
class	ObjVector<E> more customizable alternative to java.util.Vector.