fmrisc.ProofNavigator

Class SetClass<E>

java.lang.Object

java.util.AbstractCollection<E>

java.util.AbstractSet<E>

java.util.HashSet<E>

java.util.LinkedHashSet<E>

fmrisc.ProofNavigator.SetClass<E>

All Implemented Interfaces:

java.io.Serializable, java.lang.Cloneable, java.lang.Iterable<E>, java.util.Collection<E>, java.util.Set<E>

public class SetClass<E>
extends java.util.LinkedHashSet<E>

A portable generic set.

See Also:

Serialized Form

Constructor Summary

Constructors

Constructor and Description
SetClass()
SetClass(java.util.Collection<? extends E> c)
SetClass(int c)

Method Summary

Methods inherited from class java.util.HashSet

add, clear, clone, contains, isEmpty, iterator, remove, size

Methods inherited from class java.util.AbstractSet

equals, hashCode, removeAll

Methods inherited from class java.util.AbstractCollection

addAll, containsAll, retainAll, toArray, toArray, toString

Methods inherited from class java.lang.Object

getClass, notify, notifyAll, wait, wait, wait

Methods inherited from interface java.util.Set

add, addAll, clear, contains, containsAll, equals, hashCode, isEmpty, iterator, remove, removeAll, retainAll, size, toArray, toArray

Constructor Detail

SetClass

public SetClass()

SetClass

public SetClass(java.util.Collection<? extends E> c)

SetClass

public SetClass(int c)