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
Fields in net.sf.tweety.logics.commons.analysis.streams declared as FormulaStream Modifier and Type Field Description private FormulaStream<S>
InconsistencyMeasurementProcess. stream
The stream.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.protected void
InconsistencyMeasurementProcess. init(FormulaStream<S> stream, StreamBasedInconsistencyMeasure<S> parent, java.util.Map<java.lang.String,java.lang.Object> config)
Initialization statements.
-