Modifier and Type | Field and Description |
---|---|
private Iterator<SequentFormula> |
forIt |
Constructor and Description |
---|
SFIterator(Iterator<SequentFormula> forIt) |
Modifier and Type | Method and Description |
---|---|
boolean |
hasNext() |
Term |
next() |
void |
remove()
throw an unsupported operation exception
|
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
forEachRemaining
private final Iterator<SequentFormula> forIt
public SFIterator(Iterator<SequentFormula> forIt)