
public interface DBIDMIter extends DBIDIter
| Modifier and Type | Method and Description |
|---|---|
void |
remove()
Remove the object the iterator currently points to.
|
compareDBID, equals, getIntegerID, hashCode, sameDBIDvoid remove()
DBIDIter.getDBID() may return a different element.
Call Iter.advance() to advance the iterator to the next element for further processing.