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

Packages that use TptpFofFunctor

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

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

Methods in net.sf.tweety.logics.fol.syntax.tptp.fof that return types with arguments of type TptpFofFunctor

Modifier and Type	Method and Description
Set<TptpFofFunctor>	TptpFofLogicFormula.getFunctors()

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

Constructor and Description
TptpFofFunctionalTerm(TptpFofFunctor functor, List<TptpFofTerm<?>> arguments)

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

Constructor and Description
TptpFofLogicFormula(Set<TptpFofAtomicFormula> atoms, Set<TptpFofFunctor> functors)