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 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