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

Packages that use TptpFofTerm

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

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

Subclasses of TptpFofTerm 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	TptpFofStringTerm This class implements the generic Fof-Term-class with Strings
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

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

Modifier and Type	Method and Description
List<TptpFofTerm<?>>	TptpFofPredicate.getArguments()

Methods in net.sf.tweety.logics.fol.syntax.tptp.fof with parameters of type TptpFofTerm

Modifier and Type	Method and Description
void	TptpFofSort.add(TptpFofTerm<?> t)
void	TptpFofAtomicFormula.addArgument(TptpFofTerm<?> term)

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

Constructor and Description
TptpFofAtomicFormula(TptpFofPredicate predicate, TptpFofTerm<?>... terms)

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

Constructor and Description
TptpFofAtomicFormula(TptpFofPredicate predicate, List<? extends TptpFofTerm<?>> arguments)
TptpFofFunctionalTerm(TptpFofFunctor functor, List<TptpFofTerm<?>> arguments)
TptpFofPredicate(String name, List<TptpFofTerm<?>> arguments)
TptpFofSort(String name, Set<? extends TptpFofTerm<?>> argument)