S
public interface FormulaStream<S extends Formula> extends java.util.Iterator<S>
boolean
hasNext()
next()
void
remove()
forEachRemaining
boolean hasNext()
hasNext
java.util.Iterator<S extends Formula>
S next()
next
void remove()
remove