Uses of Class
net.sf.tweety.logics.ml.syntax.MlBeliefSet

Packages that use MlBeliefSet

Package	Description
net.sf.tweety.logics.ml.parser
net.sf.tweety.logics.ml.reasoner
net.sf.tweety.logics.ml.semantics
net.sf.tweety.logics.ml.writer

Uses of MlBeliefSet in net.sf.tweety.logics.ml.parser

Methods in net.sf.tweety.logics.ml.parser that return MlBeliefSet

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

Uses of MlBeliefSet in net.sf.tweety.logics.ml.reasoner

Methods in net.sf.tweety.logics.ml.reasoner with parameters of type MlBeliefSet

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

Uses of MlBeliefSet in net.sf.tweety.logics.ml.semantics

Methods in net.sf.tweety.logics.ml.semantics with parameters of type MlBeliefSet

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

Uses of MlBeliefSet in net.sf.tweety.logics.ml.writer

Methods in net.sf.tweety.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 net.sf.tweety.logics.ml.writer with parameters of type MlBeliefSet

Constructor	Description
MlWriter(MlBeliefSet beliefSet)