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