Alignment API and Server 4.10 (2228M)
- java.lang.Object
-
- java.util.AbstractCollection<E>
-
- java.util.AbstractSet<T>
-
- fr.inrialpes.exmo.ontowrap.util.FilteredSet<T>
-
-
Field Summary
Fields
Modifier and Type |
Field and Description |
private java.util.Set<T> |
s |
private int |
size |
-
Constructor Summary
Constructors
Constructor and Description |
FilteredSet(java.util.Set<T> s) |
-
Method Summary
-
Methods inherited from class java.util.AbstractSet
equals, hashCode, removeAll
-
Methods inherited from class java.util.AbstractCollection
add, addAll, clear, contains, containsAll, isEmpty, remove, retainAll, toArray, toArray, toString
-
Methods inherited from class java.lang.Object
clone, finalize, getClass, notify, notifyAll, wait, wait, wait
-
Methods inherited from interface java.util.Set
add, addAll, clear, contains, containsAll, isEmpty, remove, retainAll, spliterator, toArray, toArray
-
Methods inherited from interface java.util.Collection
parallelStream, removeIf, stream
-
Methods inherited from interface java.lang.Iterable
forEach
-
-
Method Detail
-
size
public final int size()
- Specified by:
size
in interface java.util.Collection<T>
- Specified by:
size
in interface java.util.Set<T>
- Specified by:
size
in class java.util.AbstractCollection<T>
Alignment API and Server 4.10 (2228M)
(C) INRIA & friends, 2003-2020