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.