Uses of Interface
org.tweetyproject.commons.InterpretationIterator
-
Packages that use InterpretationIterator Package Description org.tweetyproject.commons org.tweetyproject.logics.commons.analysis org.tweetyproject.logics.pl.semantics -
-
Uses of InterpretationIterator in org.tweetyproject.commons
Methods in org.tweetyproject.commons that return InterpretationIterator Modifier and Type Method Description InterpretationIterator<S,B,T>InterpretationIterator. reset()Initializes a new reseted iterator.InterpretationIterator<S,B,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<S,B,T>InterpretationIterator. reset(Signature sig)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 InterpretationIterator Constructor Description DHitInconsistencyMeasure(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 InterpretationIterator Modifier and Type Class Description classPossibleWorldIteratorIterates effectively over all interpretation sets worlds of a given signature.Methods in org.tweetyproject.logics.pl.semantics that return InterpretationIterator Modifier and Type Method Description InterpretationIterator<PlFormula,PlBeliefSet,PossibleWorld>PossibleWorldIterator. reset()InterpretationIterator<PlFormula,PlBeliefSet,PossibleWorld>PossibleWorldIterator. reset(java.util.Collection<? extends Formula> formulas)InterpretationIterator<PlFormula,PlBeliefSet,PossibleWorld>PossibleWorldIterator. reset(Signature sig)
-