Uses of Interface
net.sf.tweety.commons.InterpretationIterator

Packages that use InterpretationIterator

Package	Description
net.sf.tweety.commons
net.sf.tweety.logics.commons.analysis
net.sf.tweety.logics.pl.semantics

Uses of InterpretationIterator in net.sf.tweety.commons

Methods in net.sf.tweety.commons that return InterpretationIterator

Modifier and Type	Method and Description
InterpretationIterator<T>	InterpretationIterator.reset() Initializes a new reseted iterator.
InterpretationIterator<T>	InterpretationIterator.reset(java.util.Collection<? extends Formula> formulas) Initializes a new reseted iterator for the given signature derived from the given set of formulas.
InterpretationIterator<T>	InterpretationIterator.reset(Signature sig) Initializes a new reseted iterator for the given signature.

Uses of InterpretationIterator in net.sf.tweety.logics.commons.analysis

Fields in net.sf.tweety.logics.commons.analysis declared as InterpretationIterator

Modifier and Type	Field and Description
private InterpretationIterator<?>	HsInconsistencyMeasure.it Used for iterating over interpretations of the underlying language.
private InterpretationIterator<?>	EtaInconsistencyMeasure.it Used for enumerating the interpretations of the underlying language.
private InterpretationIterator<T>	DSumInconsistencyMeasure.it For iterating over interpretations.
private InterpretationIterator<T>	DMaxInconsistencyMeasure.it For iterating over interpretations.
private InterpretationIterator<T>	DHitInconsistencyMeasure.it For iterating over interpretations.

Constructors in net.sf.tweety.logics.commons.analysis with parameters of type InterpretationIterator

Constructor and Description
DHitInconsistencyMeasure(InterpretationDistance<T,S> distance, InterpretationIterator<T> it) Creates a new d-sum inconsistency measure using the given distance and interpretations provided from the given interpretation iterator.
DMaxInconsistencyMeasure(InterpretationDistance<T,S> distance, InterpretationIterator<T> it) Creates a new d-max inconsistency measure using the given distance and interpretations provided from the given interpretation iterator.
DSumInconsistencyMeasure(InterpretationDistance<T,S> distance, InterpretationIterator<T> it) Creates a new d-sum inconsistency measure using the given distance and interpretations provided from the given interpretation iterator.
EtaInconsistencyMeasure(InterpretationIterator<?> it) Creates a new inconsistency measure that uses the interpretations given by the given iterator.
HsInconsistencyMeasure(InterpretationIterator<?> it) Creates a new inconsistency measure that uses the interpretations given by the given iterator.

Uses of InterpretationIterator in net.sf.tweety.logics.pl.semantics

Classes in net.sf.tweety.logics.pl.semantics that implement InterpretationIterator

Modifier and Type	Class and Description
class	PossibleWorldIterator Iterates effectively over all interpretation sets worlds of a given signature.

Methods in net.sf.tweety.logics.pl.semantics that return InterpretationIterator

Modifier and Type	Method and Description
InterpretationIterator<PossibleWorld>	PossibleWorldIterator.reset()
InterpretationIterator<PossibleWorld>	PossibleWorldIterator.reset(java.util.Collection<? extends Formula> formulas)
InterpretationIterator<PossibleWorld>	PossibleWorldIterator.reset(Signature sig)