Uses of Interface
net.sf.tweety.commons.streams.FormulaStream

Packages that use FormulaStream

Package	Description
net.sf.tweety.commons.streams
net.sf.tweety.logics.commons.analysis.streams

Uses of FormulaStream in net.sf.tweety.commons.streams

Classes in net.sf.tweety.commons.streams that implement FormulaStream

Modifier and Type	Class	Description
class	DefaultFormulaStream<S extends Formula>	This class models a default stream on the formulas of a given collection.

Uses of FormulaStream in net.sf.tweety.logics.commons.analysis.streams

Methods in net.sf.tweety.logics.commons.analysis.streams with parameters of type FormulaStream

Modifier and Type	Method	Description
InconsistencyMeasurementProcess<S>	DefaultStreamBasedInconsistencyMeasure.getInconsistencyMeasureProcess(FormulaStream<S> stream)
abstract InconsistencyMeasurementProcess<S>	StreamBasedInconsistencyMeasure.getInconsistencyMeasureProcess(FormulaStream<S> stream)	Processes the formulas in the given stream one after the other.