Package org.tweetyproject.commons.streams

Class DefaultFormulaStream<S extends Formula>

java.lang.Object

org.tweetyproject.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

equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface java.util.Iterator

forEachRemaining

Constructor Details

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 Details

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>