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

Packages that use TptpFofSort

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

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

Fields in net.sf.tweety.logics.fol.syntax.tptp.fof declared as TptpFofSort

Modifier and Type	Field and Description
protected TptpFofSort	TptpFofTerm.sort The sort of this term
static TptpFofSort	TptpFofSort.THING

Methods in net.sf.tweety.logics.fol.syntax.tptp.fof that return TptpFofSort

Modifier and Type	Method and Description
abstract TptpFofSort	TptpFofTerm.getSort()
TptpFofSort	TptpFofStringTerm.getSort()

Constructors in net.sf.tweety.logics.fol.syntax.tptp.fof with parameters of type TptpFofSort

Constructor and Description
TptpFofConstant(String value, TptpFofSort sort) Constructor
TptpFofStringTerm(String name, TptpFofSort sort)
TptpFofTerm(T value, TptpFofSort sort) Constructor with given value and sort