gov.nasa.jpf.util

Interface IdentityObjectSet<E>

All Superinterfaces:

java.lang.Cloneable, java.lang.Iterable<E>, ObjectSet<E>

All Known Implementing Classes:

IdentityArrayObjectSet

public interface IdentityObjectSet<E>
extends ObjectSet<E>, java.lang.Iterable<E>

an ObjectSet that uses reference comparison (identity) for inclusion checks

Method Summary

Methods inherited from interface gov.nasa.jpf.util.ObjectSet

add, clone, contains, remove, size

Methods inherited from interface java.lang.Iterable

forEach, iterator, spliterator