Uses of Interface
net.sf.tweety.commons.Interpretation

Packages that use Interpretation

Package	Description
net.sf.tweety.commons
net.sf.tweety.commons.analysis

Uses of Interpretation in net.sf.tweety.commons

Classes in net.sf.tweety.commons with type parameters of type Interpretation

Modifier and Type	Interface	Description
interface	InterpretationIterator<S extends Formula,B extends BeliefBase,T extends Interpretation<B,S>>	An iterator over interpretations.
interface	ModelProvider<S extends Formula,B extends BeliefBase,T extends Interpretation<B,S>>	Instances of this interface model reasoners that determine the (selected) models for a given set of formulas.

Classes in net.sf.tweety.commons that implement Interpretation

Modifier and Type	Class	Description
class	AbstractInterpretation<B extends BeliefBase,S extends Formula>	An abstract interpretation for some logical language.
class	InterpretationSet<T extends Formula,B extends BeliefBase,S extends Formula>	This class models an interpretation that is a set of some formula and as such implements the java.util.Collection interface.

Uses of Interpretation in net.sf.tweety.commons.analysis

Classes in net.sf.tweety.commons.analysis with type parameters of type Interpretation

Modifier and Type	Class	Description
class	DrasticDistance<T extends Interpretation<B,S>,B extends BeliefBase,S extends Formula>	This class models the drastic distance measure between interpretations, see [Grant, Hunter.
interface	InterpretationDistance<T extends Interpretation<B,S>,B extends BeliefBase,S extends Formula>	Classes implementing this interface represent distance functions between two interpretations.