Uses of Class
org.tweetyproject.logics.dl.syntax.DlBeliefSet
-
Packages that use DlBeliefSet Package Description org.tweetyproject.logics.dl.parser org.tweetyproject.logics.dl.reasoner org.tweetyproject.logics.dl.semantics -
-
Uses of DlBeliefSet in org.tweetyproject.logics.dl.parser
Methods in org.tweetyproject.logics.dl.parser that return DlBeliefSet Modifier and Type Method Description DlBeliefSetDlParser. parseBeliefBase(java.io.Reader reader) -
Uses of DlBeliefSet in org.tweetyproject.logics.dl.reasoner
Methods in org.tweetyproject.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 org.tweetyproject.logics.dl.semantics
Methods in org.tweetyproject.logics.dl.semantics with parameters of type DlBeliefSet Modifier and Type Method Description booleanDlInterpretation. satisfies(DlBeliefSet beliefBase)
-