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

Packages that use TptpFofConstant

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

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

Constructor parameters in net.sf.tweety.logics.fol.syntax.tptp.fof with type arguments of type TptpFofConstant

Constructor and Description
TptpFofSort(String name, Set<TptpFofConstant> constants, Set<TptpFofVariable> variables)