static class Sequent.SequentIterator extends java.lang.Object implements java.util.Iterator<SequentFormula>
Modifier and Type | Field and Description |
---|---|
private java.util.Iterator<SequentFormula> |
anteIt |
private java.util.Iterator<SequentFormula> |
succIt |
Constructor and Description |
---|
SequentIterator(Semisequent ante,
Semisequent succ) |
Modifier and Type | Method and Description |
---|---|
boolean |
hasNext() |
SequentFormula |
next() |
void |
remove()
throw an unsupported operation exception as sequents are immutable
|
private final java.util.Iterator<SequentFormula> anteIt
private final java.util.Iterator<SequentFormula> succIt
SequentIterator(Semisequent ante, Semisequent succ)
public boolean hasNext()
hasNext
in interface java.util.Iterator<SequentFormula>
public SequentFormula next()
next
in interface java.util.Iterator<SequentFormula>
public void remove()
remove
in interface java.util.Iterator<SequentFormula>