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 and Description
interface	InterpretationIterator<T extends Interpretation> An iterator over interpretations.

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

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

Methods in net.sf.tweety.commons that return Interpretation

Modifier and Type	Method and Description
abstract Interpretation	EntailmentRelation.getWitness(Collection<T> formulas) If the collection of formulas is consistent this method returns some model of it or, if it is inconsistent, null.

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 and Description
class	DrasticDistance<T extends Interpretation,S extends Formula> This class models the drastic distance measure between interpretations, see [Grant, Hunter.
interface	InterpretationDistance<T extends Interpretation,S extends Formula> Classes implementing this interface represent distance functions between two interpretations.