de.uka.ilkd.key.core

Class KeYSelectionModel.DefaultSelectionIterator

java.lang.Object

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

All Implemented Interfaces:

Iterator<Goal>

Enclosing class:

KeYSelectionModel

protected class KeYSelectionModel.DefaultSelectionIterator
extends Object
implements 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 Iterator<Goal>	goalIt
private Goal	nextOne
private 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 Iterator<Goal> goalIt

nodeIt

private Iterator<Node> nodeIt

Constructor Detail

DefaultSelectionIterator

public DefaultSelectionIterator()

Method Detail

findNext

private void findNext()

next

public Goal next()

Specified by:

next in interface Iterator<Goal>

hasNext

public boolean hasNext()

Specified by:

hasNext in interface Iterator<Goal>

remove

public void remove()

Specified by:

remove in interface Iterator<Goal>