protected class KeYSelectionModel.DefaultSelectionIterator extends java.lang.Object implements java.util.Iterator<Goal>
Constructor and Description |
---|
DefaultSelectionIterator() |
Modifier and Type | Method and Description |
---|---|
boolean |
hasNext() |
Goal |
next() |
void |
remove() |
Copyright © 2003-2019 The KeY-Project.