Uses of Interface
org.tweetyproject.commons.InterpretationIterator
Packages that use InterpretationIterator
Package
Description
-
Uses of InterpretationIterator in org.tweetyproject.commons
Methods in org.tweetyproject.commons that return InterpretationIteratorModifier and TypeMethodDescriptionInterpretationIterator.reset()
Initializes a new reseted iterator.InterpretationIterator.reset(Collection<? extends Formula> formulas)
Initializes a new reseted iterator for the given signature derived from the given set of formulas.Initializes a new reseted iterator for the given signature. -
Uses of InterpretationIterator in org.tweetyproject.logics.commons.analysis
Constructors in org.tweetyproject.logics.commons.analysis with parameters of type InterpretationIteratorModifierConstructorDescriptionDHitInconsistencyMeasure(InterpretationDistance<T,B,S> distance, InterpretationIterator<S,B,T> it)
Creates a new d-sum inconsistency measure using the given distance and interpretations provided from the given interpretation iterator.DMaxInconsistencyMeasure(InterpretationDistance<T,B,S> distance, InterpretationIterator<S,B,T> it)
Creates a new d-max inconsistency measure using the given distance and interpretations provided from the given interpretation iterator.DSumInconsistencyMeasure(InterpretationDistance<T,B,S> distance, InterpretationIterator<S,B,T> it)
Creates a new d-sum inconsistency measure using the given distance and interpretations provided from the given interpretation iterator.EtaInconsistencyMeasure(InterpretationIterator<S,B,? extends Interpretation<B,S>> it)
Creates a new inconsistency measure that uses the interpretations given by the given iterator.HsInconsistencyMeasure(InterpretationIterator<S,B,? extends Interpretation<B,S>> it)
Creates a new inconsistency measure that uses the interpretations given by the given iterator. -
Uses of InterpretationIterator in org.tweetyproject.logics.pl.semantics
Classes in org.tweetyproject.logics.pl.semantics that implement InterpretationIteratorModifier and TypeClassDescriptionclass
Iterates effectively over all interpretation sets worlds of a given signature.Methods in org.tweetyproject.logics.pl.semantics that return InterpretationIteratorModifier and TypeMethodDescriptionPossibleWorldIterator.reset()
PossibleWorldIterator.reset(Collection<? extends Formula> formulas)
-
Uses of InterpretationIterator in org.tweetyproject.logics.translators.adfcl
Classes in org.tweetyproject.logics.translators.adfcl that implement InterpretationIteratorModifier and TypeClassDescriptionclass
This class iterates effectively over all interpretation sets worlds of a given signature.Methods in org.tweetyproject.logics.translators.adfcl that return InterpretationIteratorModifier and TypeMethodDescriptionPriestWorldIterator.reset()
PriestWorldIterator.reset(Collection<? extends Formula> formulas)