Uses of Interface
org.tweetyproject.commons.InterpretationIterator
Package
Description
-
Uses of InterpretationIterator in org.tweetyproject.commons
Modifier 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
ModifierConstructorDescriptionDHitInconsistencyMeasure(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
Modifier and TypeClassDescriptionclass
Iterates effectively over all interpretation sets worlds of a given signature.Modifier and TypeMethodDescriptionPossibleWorldIterator.reset()
PossibleWorldIterator.reset(Collection<? extends Formula> formulas)
-
Uses of InterpretationIterator in org.tweetyproject.logics.translators.adfcl
Modifier and TypeClassDescriptionclass
This class iterates effectively over all interpretation sets worlds of a given signature.Modifier and TypeMethodDescriptionPriestWorldIterator.reset()
PriestWorldIterator.reset(Collection<? extends Formula> formulas)