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

Packages that use ModalBeliefSet

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 ModalBeliefSet in net.sf.tweety.logics.ml.parser

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

Modifier and Type	Method and Description
ModalBeliefSet	ModalParser.parseBeliefBase(java.io.Reader reader)

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

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

Modifier and Type	Method and Description
abstract java.lang.Boolean	AbstractModalReasoner.query(ModalBeliefSet beliefbase, FolFormula formula)
java.lang.Boolean	NaiveModalReasoner.query(ModalBeliefSet mbs, FolFormula formula)
java.lang.Boolean	SPASSModalReasoner.query(ModalBeliefSet kb, FolFormula query)
java.lang.Boolean	MleanCoPReasoner.query(ModalBeliefSet beliefbase, FolFormula formula)
java.lang.String	SPASSModalReasoner.queryProof(ModalBeliefSet kb, Formula query) Determines the answer wrt.

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

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

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

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

Methods in net.sf.tweety.logics.ml.writer with parameters of type ModalBeliefSet

Modifier and Type	Method and Description
private java.lang.String	SPASSWriter.printFormulas(ModalBeliefSet kb, RelationalFormula formula) Prints the axioms declaration and conjectures declaration for a SPASS input file.
void	SPASSWriter.printProblem(ModalBeliefSet 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 ModalBeliefSet

Constructor and Description
ModalWriter(ModalBeliefSet beliefSet)