public static class WorksRetriever.EIDSet extends HashSet<EdbEID>
Constructor and Description |
---|
EIDSet() |
EIDSet(Collection<EdbEID> set) |
add, clear, clone, contains, isEmpty, iterator, remove, size, spliterator
equals, hashCode, removeAll
addAll, containsAll, retainAll, toArray, toArray, toString
finalize, getClass, notify, notifyAll, wait, wait, wait
addAll, containsAll, equals, hashCode, removeAll, retainAll, toArray, toArray
parallelStream, removeIf, stream
public EIDSet()
public EIDSet(Collection<EdbEID> set)
EDB Working Group at Tue Jun 10 17:08:59 JST 2025