net.sf.tweety.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 and Description
boolean	hasNext()
S	next()
void	remove()

Methods inherited from interface java.util.Iterator

forEachRemaining

Method Detail

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>