Uses of Class
net.sf.tweety.commons.InterpretationSet

Packages that use InterpretationSet

Package	Description
net.sf.tweety.logics.fol.semantics
net.sf.tweety.logics.pl.semantics

Uses of InterpretationSet in net.sf.tweety.logics.fol.semantics

Subclasses of InterpretationSet in net.sf.tweety.logics.fol.semantics

Modifier and Type	Class and Description
class	HerbrandInterpretation A Herbrand interpretation is an interpretation for a first-order signature, stating all ground atoms that are true in the interpretation.

Uses of InterpretationSet in net.sf.tweety.logics.pl.semantics

Subclasses of InterpretationSet in net.sf.tweety.logics.pl.semantics

Modifier and Type	Class and Description
class	NicePossibleWorld Wrapper for the PossibleWorld providing better representation mechanisms, it knows all the possible propositions (the signature) and therefore provides a complete representation that maps a boolean to the Proposition.
class	PossibleWorld This class represents a possible world of propositional logic, i.e.