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

Packages that use TptpFofStringTerm

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

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

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

Modifier and Type	Class and Description
class	TptpFofConstant A constant consists of an unique identifier name and a sort.
class	TptpFofFunctionalTerm
class	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