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

Packages that use FolBeliefSet

Package	Description
net.sf.tweety.logics.fol.parser
net.sf.tweety.logics.fol.prover
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	FolParserB.KB()
FolBeliefSet	FolParser.parseBeliefBase(Reader reader)

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

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

Modifier and Type	Method and Description
abstract boolean	FolTheoremProver.equivalent(FolBeliefSet kb, FolFormula a, FolFormula b)
boolean	NaiveProver.equivalent(FolBeliefSet kb, FolFormula a, FolFormula b)
boolean	Prover9.equivalent(FolBeliefSet kb, FolFormula a, FolFormula b)
boolean	EProver.equivalent(FolBeliefSet kb, FolFormula a, FolFormula b)
abstract boolean	FolTheoremProver.query(FolBeliefSet kb, FolFormula query) This method determines the answer of the given query wrt.
boolean	NaiveProver.query(FolBeliefSet kb, FolFormula query)
boolean	Prover9.query(FolBeliefSet kb, FolFormula query)
boolean	EProver.query(FolBeliefSet kb, FolFormula query)

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)