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.
-