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

Subclasses with type arguments of type MlBeliefSet in org.tweetyproject.logics.ml.parser

Modifier and Type	Class	Description
class	MlParser	This class implements a parser for modal logic.

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

Classes in org.tweetyproject.logics.ml.reasoner that implement interfaces with type arguments of type MlBeliefSet

Modifier and Type	Class	Description
class	AbstractMlReasoner	Abstract modal reasoner to be implemented by concrete reasoners.

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

Subclasses with type arguments of type MlBeliefSet in org.tweetyproject.logics.ml.semantics

Modifier and Type	Class	Description
class	KripkeModel	This class models a Kripke model, i.e.

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.