Uses of Package
net.sf.tweety.logics.fol.syntax.tptp.fof

Packages that use net.sf.tweety.logics.fol.syntax.tptp.fof

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

Classes in net.sf.tweety.logics.fol.syntax.tptp.fof used by net.sf.tweety.logics.fol.syntax.tptp.fof

Class and Description
TptpFofAssociative This class models the connection between two formulae
TptpFofAtomicFormula This class models an atom for the Tptp-Format Each atom represents only one lower-case word.
TptpFofBinaryAssociativeFormula
TptpFofBinaryFormula
TptpFofConstant A constant consists of an unique identifier name and a sort.
TptpFofFormula TODO: implement
TptpFofFormulaRole This class provides all tptp roles used within the tptp format.
TptpFofFunctor ::=
TptpFofLogicFormula The Tptp logic formula class
TptpFofPredicate
TptpFofQuantifiedFormula The abstract class for quantified formulas
TptpFofSort This class represents the sort of any
TptpFofStringTerm This class implements the generic Fof-Term-class with Strings
TptpFofTerm Term class.
TptpFofUnitaryFormula
TptpFofVariable Variables are used in quantified formulas Each Variable must begin with an upper case letter followed by any amount (>=0) of lower case letters