static class Sequent.SequentIterator extends Object implements Iterator<SequentFormula>
Modifier and Type | Field and Description |
---|---|
private Iterator<SequentFormula> |
anteIt |
private Iterator<SequentFormula> |
succIt |
Constructor and Description |
---|
Sequent.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 Iterator<SequentFormula> anteIt
private final Iterator<SequentFormula> succIt
Sequent.SequentIterator(Semisequent ante, Semisequent succ)
public boolean hasNext()
hasNext
in interface Iterator<SequentFormula>
public SequentFormula next()
next
in interface Iterator<SequentFormula>
public void remove()
remove
in interface Iterator<SequentFormula>