FormulaStream

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

Method Details
- hasNext
  
  boolean hasNext()
  
  Specified by:
  
  hasNext in interface Iterator<S extends Formula>
- next
  
  S next()
  
  Specified by:
  
  next in interface Iterator<S extends Formula>
- remove
  
  void remove()
  
  Specified by:
  
  remove in interface Iterator<S extends Formula>