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

Packages that use FolFormula

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.syntax
net.sf.tweety.logics.fol.writer

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

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

Modifier and Type	Method and Description
FolFormula	TPTPParser.parseFormula(Reader reader)
FolFormula	FolParser.parseFormula(Reader reader)

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

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

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)

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

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

Modifier and Type	Method and Description
boolean	HerbrandInterpretation.satisfies(FolFormula formula) Checks whether this Herbrand interpretation satisfies the given formula.

Method parameters in net.sf.tweety.logics.fol.semantics with type arguments of type FolFormula

Modifier and Type	Method and Description
boolean	HerbrandInterpretation.satisfies(Set<FolFormula> formulas) Checks whether this Herbrand interpretation satisfies each of the formulas in the given set of first-order formulas.

Uses of FolFormula in net.sf.tweety.logics.fol.syntax

Subclasses of FolFormula in net.sf.tweety.logics.fol.syntax

Modifier and Type	Class and Description
class	AssociativeFolFormula This class captures the common functionalities first order associative formulas like conjunction, disjunction, etc.
class	Conjunction The classical conjunction of first-order logic.
class	Contradiction A contradictory formula.
class	Disjunction The classical disjunction of first-order logic.
class	Equivalence The equivalence of first-order logic.
class	ExistsQuantifiedFormula Exists-quantified first-order logic formula.
class	FolAtom An atom in first-order logic, i.e.
class	ForallQuantifiedFormula For-All-quantified first-order logic formula.
class	Implication The implication of first-order logic.
class	Negation The classical negation of first-order logic.
class	SpecialFormula This class captures the common functionalities of the special formulas tautology and contradiction.
class	Tautology A tautological formula.

Fields in net.sf.tweety.logics.fol.syntax with type parameters of type FolFormula

Modifier and Type	Field and Description
protected net.sf.tweety.logics.commons.syntax.QuantifiedFormulaSupport<FolFormula>	ForallQuantifiedFormula.support This helper class implements common functionalities of quantified formulas, meaning the implementation can delegate the method calls to the support class.
protected net.sf.tweety.logics.commons.syntax.QuantifiedFormulaSupport<FolFormula>	ExistsQuantifiedFormula.support This helper class implements common functionalities of quantified formulas, meaning the implementation can delegate the method calls to the support class.

Methods in net.sf.tweety.logics.fol.syntax that return FolFormula

Modifier and Type	Method and Description
FolFormula	Equivalence.clone()
abstract FolFormula	FolFormula.clone()
FolFormula	Implication.clone()
FolFormula	SpecialFormula.collapseAssociativeFormulas()
FolFormula	ForallQuantifiedFormula.collapseAssociativeFormulas()
FolFormula	ExistsQuantifiedFormula.collapseAssociativeFormulas()
FolFormula	FolAtom.collapseAssociativeFormulas()
FolFormula	Negation.collapseAssociativeFormulas()
FolFormula	ForallQuantifiedFormula.getFormula()
FolFormula	ExistsQuantifiedFormula.getFormula()
FolFormula	Negation.getFormula()
FolFormula	SpecialFormula.substitute(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> v, net.sf.tweety.logics.commons.syntax.interfaces.Term<?> t)
FolFormula	Equivalence.substitute(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> v, net.sf.tweety.logics.commons.syntax.interfaces.Term<?> t)
abstract FolFormula	FolFormula.substitute(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> v, net.sf.tweety.logics.commons.syntax.interfaces.Term<?> t)
FolFormula	Implication.substitute(net.sf.tweety.logics.commons.syntax.interfaces.Term<?> v, net.sf.tweety.logics.commons.syntax.interfaces.Term<?> t)
FolFormula	FolFormula.toDnf() Makes a disjunctive normal form of this formula.
FolFormula	Conjunction.toNnf()
FolFormula	SpecialFormula.toNnf()
FolFormula	Equivalence.toNnf()
FolFormula	ForallQuantifiedFormula.toNnf()
abstract FolFormula	FolFormula.toNnf() Makes the negation normal form of this formula.
FolFormula	ExistsQuantifiedFormula.toNnf()
FolFormula	FolAtom.toNnf()
FolFormula	Disjunction.toNnf()
FolFormula	Implication.toNnf()
FolFormula	Negation.toNnf()

Methods in net.sf.tweety.logics.fol.syntax that return types with arguments of type FolFormula

Modifier and Type	Method and Description
Set<FolFormula>	SpecialFormula.getQuantifiedFormulas()
Set<FolFormula>	ForallQuantifiedFormula.getQuantifiedFormulas()
Set<FolFormula>	ExistsQuantifiedFormula.getQuantifiedFormulas()

Methods in net.sf.tweety.logics.fol.syntax with parameters of type FolFormula

Modifier and Type	Method and Description
boolean	FolSignature.isRepresentable(FolFormula folFormula) Checks whether the given formula can be represented by this signature.
void	ForallQuantifiedFormula.setFormula(FolFormula formula)
void	ExistsQuantifiedFormula.setFormula(FolFormula formula)

Constructor parameters in net.sf.tweety.logics.fol.syntax with type arguments of type FolFormula

Constructor and Description
FolBeliefSet(Collection<FolFormula> formulas) Creates a new first-order knowledge base with the given set of formulas.

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

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

Modifier and Type	Method and Description
void	Prover9Writer.printEquivalence(FolFormula a, FolFormula b)
void	FolWriter.printEquivalence(FolFormula a, FolFormula b) Prints an Equivalence.
void	TPTPWriter.printEquivalence(FolFormula a, FolFormula b)
void	Prover9Writer.printQuery(FolFormula query)
void	FolWriter.printQuery(FolFormula query) Prints formatted representation of a query.
void	TPTPWriter.printQuery(FolFormula query)