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
net.sf.tweety.logics.rdl
net.sf.tweety.logics.rdl.semantics

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(java.io.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
boolean	Prover9.equivalent(FolBeliefSet kb, FolFormula a, FolFormula b)
boolean	NaiveProver.equivalent(FolBeliefSet kb, FolFormula a, FolFormula b)
abstract boolean	FolTheoremProver.equivalent(FolBeliefSet kb, FolFormula a, FolFormula b)
boolean	EProver.equivalent(FolBeliefSet kb, FolFormula a, FolFormula b)
boolean	Prover9.query(FolBeliefSet kb, FolFormula query)
boolean	NaiveProver.query(FolBeliefSet kb, FolFormula query)
abstract boolean	FolTheoremProver.query(FolBeliefSet kb, FolFormula query) This method determines the answer of the given query wrt.
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	TptpWriter.printBase(FolBeliefSet b)
void	Prover9Writer.printBase(FolBeliefSet b)
void	FolWriter.printBase(FolBeliefSet b) Prints formatted representation of a knowledge base.

Uses of FolBeliefSet in net.sf.tweety.logics.rdl

Fields in net.sf.tweety.logics.rdl declared as FolBeliefSet

Modifier and Type	Field and Description
private FolBeliefSet	DefaultTheory.facts The set of facts (first-order formulas).

Methods in net.sf.tweety.logics.rdl that return FolBeliefSet

Modifier and Type	Method and Description
FolBeliefSet	DefaultTheory.getFacts()

Constructors in net.sf.tweety.logics.rdl with parameters of type FolBeliefSet

Constructor and Description
DefaultTheory(FolBeliefSet facts, java.util.Collection<DefaultRule> defaults) constructs a default theory from a knowledge base and a set of defaults

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

Fields in net.sf.tweety.logics.rdl.semantics declared as FolBeliefSet

Modifier and Type	Field and Description
private FolBeliefSet	DefaultSequence.in the in set