de.uka.ilkd.key.logic

Class Sequent.SequentIterator

java.lang.Object

de.uka.ilkd.key.logic.Sequent.SequentIterator

All Implemented Interfaces:

java.util.Iterator<SequentFormula>

Enclosing class:

Sequent

static class Sequent.SequentIterator
extends java.lang.Object
implements java.util.Iterator<SequentFormula>

Field Summary

Fields

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

Constructor Summary

Constructors

Constructor and Description
SequentIterator(Semisequent ante, Semisequent succ)

Method Summary

Modifier and Type	Method and Description
boolean	hasNext()
SequentFormula	next()
void	remove() throw an unsupported operation exception as sequents are immutable

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

anteIt

private final java.util.Iterator<SequentFormula> anteIt

succIt

private final java.util.Iterator<SequentFormula> succIt

Constructor Detail

SequentIterator

SequentIterator(Semisequent ante,
                Semisequent succ)

Method Detail

hasNext

public boolean hasNext()

Specified by:

hasNext in interface java.util.Iterator<SequentFormula>

next

public SequentFormula next()

Specified by:

next in interface java.util.Iterator<SequentFormula>

remove

public void remove()

throw an unsupported operation exception as sequents are immutable

Specified by:

remove in interface java.util.Iterator<SequentFormula>