pure interface of class net.sf.pizzacompiler.util.Set<A>

public class Set<A>
  implements java.io.Serializable, Cloneable
{
    public Set();
    public Set(int initialCapacity);
    public Set(int initialCapacity,
               float loadFactor);
    public boolean isEmpty();
    public int size();
    public synchronized Enumeration<A> elements();
    public synchronized boolean contains(A elem);
    protected void rehash();
    public synchronized void put(A elem);
    public synchronized boolean remove(A elem);
    public synchronized void clear();
    public synchronized Object clone();
    public synchronized String toString();
}