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

Packages that use TptpFofQuantifiedFormula

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

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

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

Modifier and Type	Class and Description
class	TptpFofExistsQuantifiedFormula This class models the Tptp-Fof-ExistsQuantifiedFormula Format: ExistsQuantifiedFormula := [] :
class	TptpFofForallQuantifiedFormula This class models the Tptp-Fof-ForallQuantifiedFormula Format: ExistsQuantifiedFormula := [] :