DefaultFormulaStream (Tweety (Commons) 1.16 API)

java.lang.Object
- net.sf.tweety.commons.streams.DefaultFormulaStream<S>

Type Parameters:

S - The type of formulas

All Implemented Interfaces:

Iterator<S>, FormulaStream<S>
```
public class DefaultFormulaStream<S extends Formula>
extends Object
implements FormulaStream<S>
```
This class models a default stream on the formulas of a given collection.

Author:

Matthias Thimm

Constructor Summary

Constructors
Constructor	Description
`DefaultFormulaStream(Collection<S> formulas)`	Creates a new default stream with the given formulas that ends after all formulas have been streamed.
`DefaultFormulaStream(Collection<S> formulas, boolean neverending)`	Creates a new default stream with the given formulas.

Method Summary

Modifier and Type Method Description

boolean hasNext()

S next()

void remove()
- Methods inherited from class java.lang.Object
  clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
- Methods inherited from interface java.util.Iterator
  forEachRemaining

- Constructor Detail
  - DefaultFormulaStream
```
public DefaultFormulaStream(Collection<S> formulas)
```
    Creates a new default stream with the given formulas that ends after all formulas have been streamed.
    
    Parameters:
    
    formulas - a collection of formulas.
  - DefaultFormulaStream
```
public DefaultFormulaStream(Collection<S> formulas,
                            boolean neverending)
```
    Creates a new default stream with the given formulas.
    
    Parameters:
    
    formulas - a collection of formulas.
    
    neverending - whether this stream is never-ending (formulas are repeated once through).
- Method Detail
  - hasNext
```
public boolean hasNext()
```
    Specified by:
    
    hasNext in interface FormulaStream<S extends Formula>
    
    Specified by:
    
    hasNext in interface Iterator<S extends Formula>
  - next
```
public S next()
```
    Specified by:
    
    next in interface FormulaStream<S extends Formula>
    
    Specified by:
    
    next in interface Iterator<S extends Formula>
  - remove
```
public void remove()
```
    Specified by:
    
    remove in interface FormulaStream<S extends Formula>
    
    Specified by:
    
    remove in interface Iterator<S extends Formula>