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