|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
public interface AxiomaticSet
A java.util.Set with the basic mathematic set axioms of extensionality (equality), union, intersection, relative complement (set subtraction) and empty (already supported by Set).
Provisional API - subject to change
Method Summary | |
---|---|
java.lang.Object |
getFirstElement()
|
AxiomaticSet |
intersect(AxiomaticSet set)
|
boolean |
isDisjoint(AxiomaticSet set)
|
boolean |
isEquivalent(AxiomaticSet toSet)
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. |
AxiomaticSet |
subtract(AxiomaticSet set)
The set constructed by the removing the intersection of this with set from this. |
AxiomaticSet |
union(AxiomaticSet set)
|
Methods inherited from interface java.util.Set |
---|
add, addAll, clear, contains, containsAll, equals, hashCode, isEmpty, iterator, remove, removeAll, retainAll, size, toArray, toArray |
Method Detail |
---|
boolean isEquivalent(AxiomaticSet toSet)
toSet
-
AxiomaticSet union(AxiomaticSet set)
set
-
AxiomaticSet intersect(AxiomaticSet set)
set
-
boolean isDisjoint(AxiomaticSet set)
set
-
AxiomaticSet subtract(AxiomaticSet set)
set
-
java.lang.Object getFirstElement()
java.util.NoSuchElementException
- if the set is empty.
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |