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 and 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 and 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 and Description
abstract InconsistencyMeasurementProcess<S>	StreamBasedInconsistencyMeasure.getInconsistencyMeasureProcess(FormulaStream<S> stream) Processes the formulas in the given stream one after the other.
InconsistencyMeasurementProcess<S>	DefaultStreamBasedInconsistencyMeasure.getInconsistencyMeasureProcess(FormulaStream<S> stream)
protected void	InconsistencyMeasurementProcess.init(FormulaStream<S> stream, StreamBasedInconsistencyMeasure<S> parent, java.util.Map<java.lang.String,java.lang.Object> config) Initialization statements.