Uses of Class
net.sf.tweety.logics.fol.syntax.FolBeliefSet

Packages that use FolBeliefSet

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

Uses of FolBeliefSet in net.sf.tweety.logics.fol.parser

Methods in net.sf.tweety.logics.fol.parser that return FolBeliefSet

Modifier and Type	Method and Description
FolBeliefSet	TPTPParser.parseBeliefBase(Reader reader)
FolBeliefSet	FolParser.parseBeliefBase(Reader reader)

Uses of FolBeliefSet in net.sf.tweety.logics.fol.reasoner

Methods in net.sf.tweety.logics.fol.reasoner with parameters of type FolBeliefSet

Modifier and Type	Method and Description
boolean	EFOLReasoner.equivalent(FolBeliefSet kb, FolFormula a, FolFormula b)
boolean	SimpleFolReasoner.equivalent(FolBeliefSet kb, FolFormula f1, FolFormula f2)
abstract boolean	FolReasoner.equivalent(FolBeliefSet kb, FolFormula a, FolFormula b) This method determines whether two formulas are equivalent wrt.
boolean	SpassFolReasoner.equivalent(FolBeliefSet kb, FolFormula a, FolFormula b)
boolean	Prover9FolReasoner.equivalent(FolBeliefSet kb, FolFormula a, FolFormula b)
Boolean	EFOLReasoner.query(FolBeliefSet kb, FolFormula query)
Boolean	SimpleFolReasoner.query(FolBeliefSet kb, FolFormula formula)
abstract Boolean	FolReasoner.query(FolBeliefSet beliefbase, FolFormula formula)
Boolean	SpassFolReasoner.query(FolBeliefSet kb, FolFormula query)
Boolean	Prover9FolReasoner.query(FolBeliefSet kb, FolFormula query)
String	SpassFolReasoner.queryProof(FolBeliefSet kb, net.sf.tweety.commons.Formula query) Determines the answer wrt.

Uses of FolBeliefSet in net.sf.tweety.logics.fol.semantics

Methods in net.sf.tweety.logics.fol.semantics with parameters of type FolBeliefSet

Modifier and Type	Method and Description
boolean	HerbrandInterpretation.satisfies(FolBeliefSet beliefBase)

Uses of FolBeliefSet in net.sf.tweety.logics.fol.writer

Methods in net.sf.tweety.logics.fol.writer with parameters of type FolBeliefSet

Modifier and Type	Method and Description
void	Prover9Writer.printBase(FolBeliefSet b)
void	FolWriter.printBase(FolBeliefSet b) Prints formatted representation of a knowledge base.
void	TPTPWriter.printBase(FolBeliefSet b)
void	SPASSWriter.printProblem(FolBeliefSet kb, net.sf.tweety.logics.commons.syntax.RelationalFormula formula) Prints the contents of a SPASS problem file for a given knowledge base and a formula.