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 DlBeliefSet
DlParser. 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.Boolean
NaiveDlReasoner. 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 boolean
DlInterpretation. satisfies(DlBeliefSet beliefBase)
-