Package | Description |
---|---|
gov.nasa.jpf.util |
Modifier and Type | Interface and Description |
---|---|
interface |
IdentityObjectSet<E>
an ObjectSet that uses reference comparison (identity) for inclusion checks
|
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
|
Modifier and Type | Method and Description |
---|---|
ObjectSet<E> |
IdentityArrayObjectSet.clone() |
ObjectSet<E> |
ObjectSet.clone() |