Package org.tweetyproject.commons.streams

Interface FormulaStream<S extends Formula>

Type Parameters:
S - The type of formulas
All Superinterfaces:
Iterator<S>
All Known Implementing Classes:
DefaultFormulaStream
public interface FormulaStream<S extends Formula> extends 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