public interface PipeInputIterator extends Iterator
Pipe,
InstanceList| Modifier and Type | Method and Description |
|---|---|
Instance |
nextInstance() |
void |
setParentInstance(Instance parent)
To be called once before iterator starts.
|
forEachRemaining, hasNext, next, removeCopyright © 2019 JULIE Lab, Germany. All rights reserved.