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 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 net.sf.tweety.logics.commons.analysis
Constructors in net.sf.tweety.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 net.sf.tweety.logics.pl.semantics
Classes in net.sf.tweety.logics.pl.semantics that implement InterpretationIterator Modifier and Type Class 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 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)
-