Uses of Class
org.tweetyproject.logics.ml.syntax.MlBeliefSet

Packages that use MlBeliefSet

Package	Description
org.tweetyproject.logics.ml.parser
org.tweetyproject.logics.ml.reasoner
org.tweetyproject.logics.ml.semantics
org.tweetyproject.logics.ml.writer

Uses of MlBeliefSet in org.tweetyproject.logics.ml.parser

Methods in org.tweetyproject.logics.ml.parser that return MlBeliefSet

Modifier and Type	Method	Description
MlBeliefSet	MlParser.parseBeliefBase(Reader reader)

Uses of MlBeliefSet in org.tweetyproject.logics.ml.reasoner

Methods in org.tweetyproject.logics.ml.reasoner with parameters of type MlBeliefSet

Modifier and Type	Method	Description
abstract Boolean	AbstractMlReasoner.query(MlBeliefSet beliefbase, FolFormula formula)
Boolean	MleanCoPReasoner.query(MlBeliefSet beliefbase, FolFormula formula)
Boolean	SimpleMlReasoner.query(MlBeliefSet mbs, FolFormula formula)
Boolean	SPASSMlReasoner.query(MlBeliefSet kb, FolFormula query)
String	SPASSMlReasoner.queryProof(MlBeliefSet kb, Formula query)	Determines the answer wrt.

Uses of MlBeliefSet in org.tweetyproject.logics.ml.semantics

Methods in org.tweetyproject.logics.ml.semantics with parameters of type MlBeliefSet

Modifier and Type	Method	Description
boolean	KripkeModel.satisfies(MlBeliefSet beliefBase)

Uses of MlBeliefSet in org.tweetyproject.logics.ml.writer

Methods in org.tweetyproject.logics.ml.writer with parameters of type MlBeliefSet

Modifier and Type	Method	Description
void	SPASSWriter.printProblem(MlBeliefSet kb, RelationalFormula formula)	Prints the contents of a SPASS problem file for a given knowledge base and a formula.

Constructors in org.tweetyproject.logics.ml.writer with parameters of type MlBeliefSet

Modifier	Constructor	Description
	MlWriter(MlBeliefSet beliefSet)	Initializes a new `MlWriter` instance for writing a belief set.