Uses of Class
net.sf.tweety.logics.dl.syntax.DlBeliefSet
-
Packages that use DlBeliefSet Package Description net.sf.tweety.logics.dl.parser net.sf.tweety.logics.dl.reasoner net.sf.tweety.logics.dl.semantics -
-
Uses of DlBeliefSet in net.sf.tweety.logics.dl.parser
Methods in net.sf.tweety.logics.dl.parser that return DlBeliefSet Modifier and Type Method Description DlBeliefSetDlParser. parseBeliefBase(java.io.Reader reader) -
Uses of DlBeliefSet in net.sf.tweety.logics.dl.reasoner
Methods in net.sf.tweety.logics.dl.reasoner with parameters of type DlBeliefSet Modifier and Type Method Description java.lang.BooleanNaiveDlReasoner. query(DlBeliefSet kb, DlAxiom formula) -
Uses of DlBeliefSet in net.sf.tweety.logics.dl.semantics
Methods in net.sf.tweety.logics.dl.semantics with parameters of type DlBeliefSet Modifier and Type Method Description booleanDlInterpretation. satisfies(DlBeliefSet beliefBase)
-