de.uka.ilkd.key.strategy.termgenerator

Class SequentFormulasGenerator.SFIterator

java.lang.Object

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

All Implemented Interfaces:

java.util.Iterator<Term>

Enclosing class:

SequentFormulasGenerator

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

Field Summary

Fields

Modifier and Type	Field and Description
private java.util.Iterator<SequentFormula>	forIt

Constructor Summary

Constructors

Constructor and Description
SFIterator(java.util.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 java.util.Iterator<SequentFormula> forIt

Constructor Detail

SFIterator

public SFIterator(java.util.Iterator<SequentFormula> forIt)

Method Detail

hasNext

public boolean hasNext()

Specified by:

hasNext in interface java.util.Iterator<Term>

next

public Term next()

Specified by:

next in interface java.util.Iterator<Term>

remove

public void remove()

throw an unsupported operation exception

Specified by:

remove in interface java.util.Iterator<Term>