Uses of Class
net.sf.tweety.logics.fol.syntax.tptp.fof.TptpFofFormula

Packages that use TptpFofFormula

Package	Description
net.sf.tweety.logics.fol.syntax.tptp.fof

Uses of TptpFofFormula in net.sf.tweety.logics.fol.syntax.tptp.fof

Subclasses of TptpFofFormula in net.sf.tweety.logics.fol.syntax.tptp.fof

Modifier and Type	Class and Description
class	TptpFofAndFormula This class implements the tptp-
class	TptpFofAtomicFormula This class models an atom for the Tptp-Format Each atom represents only one lower-case word.
class	TptpFofBinaryAssociativeFormula
class	TptpFofBinaryFormula
class	TptpFofBinaryNonAssociativeFormula
class	TptpFofExistsQuantifiedFormula This class models the Tptp-Fof-ExistsQuantifiedFormula Format: ExistsQuantifiedFormula := [] :
class	TptpFofForallQuantifiedFormula This class models the Tptp-Fof-ForallQuantifiedFormula Format: ExistsQuantifiedFormula := [] :
class	TptpFofLogicFormula The Tptp logic formula class
class	TptpFofNegation Negation for a given formula
class	TptpFofOrFormula This class implements the tptp-
class	TptpFofQuantifiedFormula The abstract class for quantified formulas
class	TptpFofUnitaryFormula

Methods in net.sf.tweety.logics.fol.syntax.tptp.fof that return TptpFofFormula

Modifier and Type	Method and Description
TptpFofFormula	TptpFofQuantifiedFormula.getFormula()
TptpFofFormula	TptpFofFormulaFormat.getFormula()
TptpFofFormula	TptpFofBinaryAssociativeFormula.getLeft()
TptpFofFormula	TptpFofBinaryAssociativeFormula.getRight()

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

Modifier and Type	Method and Description
Set<TptpFofFormula>	TptpFofBeliefBase.getFormulas()
Iterator<TptpFofFormula>	TptpFofBeliefBase.iterator()

Methods in net.sf.tweety.logics.fol.syntax.tptp.fof with parameters of type TptpFofFormula

Modifier and Type	Method and Description
boolean	TptpFofBeliefBase.add(TptpFofFormula e)
void	TptpFofBinaryAssociativeFormula.setLeft(TptpFofFormula left)
void	TptpFofBinaryAssociativeFormula.setRight(TptpFofFormula right)

Method parameters in net.sf.tweety.logics.fol.syntax.tptp.fof with type arguments of type TptpFofFormula

Modifier and Type	Method and Description
void	TptpFofBeliefBase.setFormulas(Set<TptpFofFormula> formulas)

Constructors in net.sf.tweety.logics.fol.syntax.tptp.fof with parameters of type TptpFofFormula

Constructor and Description
TptpFofAndFormula(TptpFofFormula left, TptpFofFormula right)
TptpFofBinaryAssociativeFormula(TptpFofFormula left, TptpFofFormula right, TptpFofAssociative assoc)
TptpFofExistsQuantifiedFormula(Set<TptpFofVariable> variables, TptpFofFormula formula) Constructor
TptpFofForallQuantifiedFormula(Set<TptpFofVariable> variables, TptpFofFormula formula) Constructor
TptpFofFormulaFormat(String name, TptpFofFormulaRole role, TptpFofFormula formula) Base constructor for entries without initial annotation.
TptpFofFormulaFormat(String name, TptpFofFormulaRole role, TptpFofFormula formula, String annotation) Extended constructor for entries with initial annotation.
TptpFofOrFormula(TptpFofFormula left, TptpFofFormula right)
TptpFofQuantifiedFormula(Set<TptpFofVariable> variables, TptpFofFormula formula)

Constructor parameters in net.sf.tweety.logics.fol.syntax.tptp.fof with type arguments of type TptpFofFormula

Constructor and Description
TptpFofBeliefBase(Set<TptpFofFormula> formulas)