de.uka.ilkd.key.strategy.termgenerator

Class SequentFormulasGenerator.SFIterator

java.lang.Object

de.uka.ilkd.key.strategy.termgenerator.SequentFormulasGenerator.SFIterator

All Implemented Interfaces:

Iterator<Term>

Enclosing class:

SequentFormulasGenerator

private static class SequentFormulasGenerator.SFIterator
extends Object
implements Iterator<Term>

Field Summary

Fields

Modifier and Type	Field and Description
private Iterator<SequentFormula>	forIt

Constructor Summary

Constructors

Constructor and Description
SFIterator(Iterator<SequentFormula> forIt)

Method Summary

Modifier and Type	Method and Description
boolean	hasNext()
Term	next()
void	remove() throw an unsupported operation exception

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

forIt

private final Iterator<SequentFormula> forIt

Constructor Detail

SFIterator

public SFIterator(Iterator<SequentFormula> forIt)

Method Detail

hasNext

public boolean hasNext()

Specified by:

hasNext in interface Iterator<Term>

next

public Term next()

Specified by:

next in interface Iterator<Term>

remove

public void remove()

throw an unsupported operation exception

Specified by:

remove in interface Iterator<Term>