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
org.tweetyproject.logics.translators.adfconditional
org.tweetyproject.logics.translators.adfrevision

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(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

Modifier	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
class	PossibleWorldIterator	Iterates 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(Collection<? extends Formula> formulas)
InterpretationIterator<PlFormula,PlBeliefSet,PossibleWorld>	PossibleWorldIterator.reset(Signature sig)

Uses of InterpretationIterator in org.tweetyproject.logics.translators.adfconditional

Classes in org.tweetyproject.logics.translators.adfconditional that implement InterpretationIterator

Modifier and Type	Class	Description
class	FourValuedWorldIterator	This class iterates over all 4-valued interpretations of a given signature.

Methods in org.tweetyproject.logics.translators.adfconditional that return InterpretationIterator

Modifier and Type	Method	Description
InterpretationIterator<PlFormula,PlBeliefSet,FourValuedWorld>	FourValuedWorldIterator.reset()
InterpretationIterator<PlFormula,PlBeliefSet,FourValuedWorld>	FourValuedWorldIterator.reset(Collection<? extends Formula> formulas)
InterpretationIterator<PlFormula,PlBeliefSet,FourValuedWorld>	FourValuedWorldIterator.reset(Signature sig)

Uses of InterpretationIterator in org.tweetyproject.logics.translators.adfrevision

Classes in org.tweetyproject.logics.translators.adfrevision that implement InterpretationIterator

Modifier and Type	Class	Description
class	PriestWorldIterator	This class iterates effectively over all interpretation sets worlds of a given signature.

Methods in org.tweetyproject.logics.translators.adfrevision that return InterpretationIterator

Modifier and Type	Method	Description
InterpretationIterator<PlFormula,PlBeliefSet,PriestWorldAdapted>	PriestWorldIterator.reset()
InterpretationIterator<PlFormula,PlBeliefSet,PriestWorldAdapted>	PriestWorldIterator.reset(Collection<? extends Formula> formulas)
InterpretationIterator<PlFormula,PlBeliefSet,PriestWorldAdapted>	PriestWorldIterator.reset(Signature sig)