de.uka.ilkd.key.core

Class KeYSelectionModel.DefaultSelectionIterator

java.lang.Object

de.uka.ilkd.key.core.KeYSelectionModel.DefaultSelectionIterator

All Implemented Interfaces:

java.util.Iterator<Goal>

Enclosing class:

KeYSelectionModel

protected class KeYSelectionModel.DefaultSelectionIterator
extends java.lang.Object
implements java.util.Iterator<Goal>

enumerate the possible goal selections, starting with the best one

Field Summary

Fields

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 Summary

Constructors

Constructor and Description
DefaultSelectionIterator()

Method Summary

Modifier and Type	Method and Description
private void	findNext()
boolean	hasNext()
Goal	next()
void	remove()

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface java.util.Iterator

forEachRemaining

Field Detail

POS_START

private static final int POS_START

See Also:

Constant Field Values

POS_LEAVES

private static final int POS_LEAVES

See Also:

Constant Field Values

POS_GOAL_LIST

private static final int POS_GOAL_LIST

See Also:

Constant Field Values

currentPos

private int currentPos

nextOne

private Goal nextOne

goalIt

private java.util.Iterator<Goal> goalIt

nodeIt

private java.util.Iterator<Node> nodeIt

Constructor Detail

DefaultSelectionIterator

public DefaultSelectionIterator()

Method Detail

findNext

private void findNext()

next

public Goal next()

Specified by:

next in interface java.util.Iterator<Goal>

hasNext

public boolean hasNext()

Specified by:

hasNext in interface java.util.Iterator<Goal>

remove

public void remove()

Specified by:

remove in interface java.util.Iterator<Goal>