private static class SequentFormulasGenerator.SFIterator extends java.lang.Object implements java.util.Iterator<Term>
Modifier and Type | Field and Description |
---|---|
private java.util.Iterator<SequentFormula> |
forIt |
Constructor and Description |
---|
SFIterator(java.util.Iterator<SequentFormula> forIt) |
Modifier and Type | Method and Description |
---|---|
boolean |
hasNext() |
Term |
next() |
void |
remove()
throw an unsupported operation exception
|
private final java.util.Iterator<SequentFormula> forIt
public SFIterator(java.util.Iterator<SequentFormula> forIt)