Uses of Interface
org.tweetyproject.commons.streams.FormulaStream

Packages that use FormulaStream

Package	Description
org.tweetyproject.commons.streams
org.tweetyproject.logics.commons.analysis.streams

Uses of FormulaStream in org.tweetyproject.commons.streams

Classes in org.tweetyproject.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 org.tweetyproject.logics.commons.analysis.streams

Methods in org.tweetyproject.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.