gov.nasa.jpf.util

Interface ObjectSet<E>

All Superinterfaces:

java.lang.Cloneable

All Known Subinterfaces:

IdentityObjectSet<E>

All Known Implementing Classes:

IdentityArrayObjectSet

public interface ObjectSet<E>
extends java.lang.Cloneable

generic interface for object sets this one makes no guarantees about identity or value comparison

Method Summary

Modifier and Type	Method and Description
boolean	add(E e)
ObjectSet<E>	clone()
boolean	contains(E e)
boolean	remove(E e)
int	size()

Method Detail

add

boolean add(E e)

contains

boolean contains(E e)

remove

boolean remove(E e)

size

int size()

clone

ObjectSet<E> clone()