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

Classes

• TptpFofAndFormula
• TptpFofAssociative
• TptpFofAtom
• TptpFofAtomicFormula
• TptpFofBeliefBase
• TptpFofBinaryAssociativeFormula
• TptpFofBinaryFormula
• TptpFofBinaryNonAssociative
• TptpFofBinaryNonAssociativeFormula
• TptpFofConstant
• TptpFofExistsQuantifiedFormula
• TptpFofForallQuantifiedFormula
• TptpFofFormula
• TptpFofFormulaFormat
• TptpFofFunctionalTerm
• TptpFofFunctor
• TptpFofLogicalSymbols
• TptpFofLogicFormula
• TptpFofNegation
• TptpFofOrFormula
• TptpFofPredicate
• TptpFofQuantifiedFormula
• TptpFofSort
• TptpFofStringTerm
• TptpFofTerm
• TptpFofUnitaryFormula
• TptpFofVariable

Enums

• TptpFofFormulaRole