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

Packages that use TptpFofUnitaryFormula

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

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

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

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