Uses of Class
org.tweetyproject.logics.dl.semantics.DlInterpretation

Packages that use DlInterpretation

Package	Description
org.tweetyproject.logics.dl.reasoner

Uses of DlInterpretation in org.tweetyproject.logics.dl.reasoner

Methods in org.tweetyproject.logics.dl.reasoner that return types with arguments of type DlInterpretation

Modifier and Type	Method	Description
java.util.Set<DlInterpretation>	NaiveDlReasoner.getAllInterpretations(DlSignature sig)	Get all interpretations for the given signature.