gov.nasa.jpf.util

Interface IdentityObjectSet<E>