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.
-