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

Packages that use TptpFofPredicate

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

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

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

Constructor and Description
TptpFofAtomicFormula(TptpFofPredicate predicate) Constructor with given identifier name
TptpFofAtomicFormula(TptpFofPredicate predicate, List<? extends TptpFofTerm<?>> arguments)
TptpFofAtomicFormula(TptpFofPredicate predicate, TptpFofTerm<?>... terms)