FormulaStream

Type Parameters:

S - The type of formulas

All Superinterfaces:

java.util.Iterator<S>

All Known Implementing Classes:

DefaultFormulaStream
```
public interface FormulaStream<S extends Formula>
extends java.util.Iterator<S>
```
This interface models a stream on formulas.

Author:

Matthias Thimm

- Method Summary
  
  Modifier and Type Method Description
  
  boolean hasNext()
  
  S next()
  
  void remove()
  - Methods inherited from interface java.util.Iterator
    forEachRemaining

- Method Detail
  - hasNext
```
boolean hasNext()
```
    Specified by:
    
    hasNext in interface java.util.Iterator<S extends Formula>
  - next
```
S next()
```
    Specified by:
    
    next in interface java.util.Iterator<S extends Formula>
  - remove
```
void remove()
```
    Specified by:
    
    remove in interface java.util.Iterator<S extends Formula>