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

Packages that use IdentityObjectSet

Package	Description
gov.nasa.jpf.util

Uses of IdentityObjectSet in gov.nasa.jpf.util

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

Modifier and Type	Class and Description
class	IdentityArrayObjectSet<E> simple identity set for objects we don't sort&bisect, assuming the number of entries will be small be aware this doesn't scale to large sets