Uses of Class
net.sf.tweety.logics.dl.semantics.DlInterpretation

Packages that use DlInterpretation

Package	Description
net.sf.tweety.logics.dl.reasoner

Uses of DlInterpretation in net.sf.tweety.logics.dl.reasoner

Methods in net.sf.tweety.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.