Uses of Class
org.tweetyproject.commons.InterpretationSet

Packages that use InterpretationSet

Package	Description
org.tweetyproject.logics.dl.semantics
org.tweetyproject.logics.fol.semantics
org.tweetyproject.logics.ml.semantics
org.tweetyproject.logics.pl.analysis
org.tweetyproject.logics.pl.sat
org.tweetyproject.logics.pl.semantics
org.tweetyproject.logics.qbf.semantics
org.tweetyproject.lp.asp.semantics

Uses of InterpretationSet in org.tweetyproject.logics.dl.semantics

Subclasses of InterpretationSet in org.tweetyproject.logics.dl.semantics

Modifier and Type	Class	Description
class	DlInterpretation	This class models an interpretation for description logics.

Uses of InterpretationSet in org.tweetyproject.logics.fol.semantics

Subclasses of InterpretationSet in org.tweetyproject.logics.fol.semantics

Modifier and Type	Class	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 org.tweetyproject.logics.ml.semantics

Subclasses of InterpretationSet in org.tweetyproject.logics.ml.semantics

Modifier and Type	Class	Description
class	MlHerbrandInterpretation	Modified version of HerbrandInterpretation that allows for modal formulas.

Uses of InterpretationSet in org.tweetyproject.logics.pl.analysis

Fields in org.tweetyproject.logics.pl.analysis with type parameters of type InterpretationSet

Modifier and Type	Field	Description
ModelProvider<?,PlBeliefSet,InterpretationSet<Proposition,PlBeliefSet,PlFormula>>	SimpleMinimalModelProvider.modelProvider	model provider

Methods in org.tweetyproject.logics.pl.analysis that return types with arguments of type InterpretationSet

Modifier and Type	Method	Description
Set<InterpretationSet<A,B,C>>	MinimalModelProvider.getMinModels(B f)	Constructor
Set<InterpretationSet<Proposition,PlBeliefSet,PlFormula>>	SimpleMinimalModelProvider.getMinModels(PlBeliefSet f)

Constructor parameters in org.tweetyproject.logics.pl.analysis with type arguments of type InterpretationSet

Modifier	Constructor	Description
	SimpleMinimalModelProvider(ModelProvider<?,PlBeliefSet,InterpretationSet<Proposition,PlBeliefSet,PlFormula>> modelProvider)	standard constructor with model provider

Uses of InterpretationSet in org.tweetyproject.logics.pl.sat

Methods in org.tweetyproject.logics.pl.sat that return InterpretationSet

Modifier and Type	Method	Description
InterpretationSet<Proposition,PlBeliefSet,PlFormula>	SimpleModelEnumerator.getModel(PlBeliefSet bbase)

Methods in org.tweetyproject.logics.pl.sat that return types with arguments of type InterpretationSet

Modifier and Type	Method	Description
Set<InterpretationSet<Proposition,PlBeliefSet,PlFormula>>	SimpleModelEnumerator.getModels(Collection<PlFormula> formulas)	Return all models satifying the formulas
Collection<InterpretationSet<Proposition,PlBeliefSet,PlFormula>>	SimpleModelEnumerator.getModels(PlBeliefSet bbase)

Uses of InterpretationSet in org.tweetyproject.logics.pl.semantics

Subclasses of InterpretationSet in org.tweetyproject.logics.pl.semantics

Modifier and Type	Class	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.

Uses of InterpretationSet in org.tweetyproject.logics.qbf.semantics

Subclasses of InterpretationSet in org.tweetyproject.logics.qbf.semantics

Modifier and Type	Class	Description
class	QbPossibleWorld	This class represents a possible world of quantified boolean logic, i.e.

Uses of InterpretationSet in org.tweetyproject.lp.asp.semantics

Subclasses of InterpretationSet in org.tweetyproject.lp.asp.semantics

Modifier and Type	Class	Description
class	AnswerSet	An answer set is a belief set which only contains literals and represents the deductive belief set of an extended logic program under the answer set semantic.