protected class KeYSelectionModel.DefaultSelectionIterator extends java.lang.Object implements java.util.Iterator<Goal>
Modifier and Type | Field and Description |
---|---|
private int |
currentPos |
private java.util.Iterator<Goal> |
goalIt |
private Goal |
nextOne |
private java.util.Iterator<Node> |
nodeIt |
private static int |
POS_GOAL_LIST |
private static int |
POS_LEAVES |
private static int |
POS_START |
Constructor and Description |
---|
DefaultSelectionIterator() |
Modifier and Type | Method and Description |
---|---|
private void |
findNext() |
boolean |
hasNext() |
Goal |
next() |
void |
remove() |
private static final int POS_START
private static final int POS_LEAVES
private static final int POS_GOAL_LIST
private int currentPos
private Goal nextOne
private java.util.Iterator<Goal> goalIt
private java.util.Iterator<Node> nodeIt