
org.eclipse.jst.jsf.common.sets
Class ConcreteAxiomaticSet
java.lang.Object
java.util.AbstractCollection<E>
java.util.AbstractSet<E>
java.util.HashSet
org.eclipse.jst.jsf.common.sets.ConcreteAxiomaticSet

All Implemented Interfaces:
 java.io.Serializable, java.lang.Cloneable, java.lang.Iterable, java.util.Collection, java.util.Set,
AxiomaticSet

public class ConcreteAxiomaticSet
 extends java.util.HashSet
 implements
AxiomaticSet
Implements a simple axiomatic set based on a hashset
Provisional API  subject to change

See Also:

Serialized Form
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

ConcreteAxiomaticSet
public ConcreteAxiomaticSet()
intersect
public
AxiomaticSet intersect(
AxiomaticSet set)


Specified by:

intersect
in interface
AxiomaticSet


Returns:
 the axiomatic intersection of this set with set
isEquivalent
public boolean isEquivalent(
AxiomaticSet toSet)

Description copied from interface:
AxiomaticSet
 Implementations should aim to provide O(mn) time cost
where n is the number of elements in this set and
m is the cost to check membership of an element in this
set in toSet. When a set is itself a member of a set,
the implementation must call isEquivalent on those subsets
recursively.


Specified by:

isEquivalent
in interface
AxiomaticSet


Returns:
 true iff this set is equivalent toSet. Note
that extensionality holds that two sets are equivalent
if and only if they contain exactly the same elements.
union
public
AxiomaticSet union(
AxiomaticSet set)


Specified by:

union
in interface
AxiomaticSet


Returns:
 the axiomatic union of this set with set
isDisjoint
public boolean isDisjoint(
AxiomaticSet set)


Specified by:

isDisjoint
in interface
AxiomaticSet


Returns:
 convenience method that must be equivalent to
(this.intersect(set).isEmpty())
getFirstElement
public java.lang.Object getFirstElement()


Specified by:

getFirstElement
in interface
AxiomaticSet


Returns:
 the first element in the set. There is no guarantee which element
will be chosen, but the call should always return the same element of the set
for multiple invocations on the same set. Generally this is a convience method
for when the set only contains one element.
subtract
public
AxiomaticSet subtract(
AxiomaticSet set)

Description copied from interface:
AxiomaticSet
 The set constructed by the removing the intersection
of this with set from this. The set will contain all
elements in this that are not in set.
Eqivalence: this  set


Specified by:

subtract
in interface
AxiomaticSet


Returns:
 the relative complement or theoretic difference of
set from this

