Package | Description |
---|---|
gov.nasa.jpf.util |
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.
|