Uses of Class
net.sf.tweety.logics.commons.syntax.Functor

Packages that use Functor

Package	Description
net.sf.tweety.logics.commons.syntax

Uses of Functor in net.sf.tweety.logics.commons.syntax

Methods in net.sf.tweety.logics.commons.syntax that return Functor

Modifier and Type	Method	Description
Functor	Functor.clone()
Functor	FunctionalTerm.getFunctor()

Methods in net.sf.tweety.logics.commons.syntax that return types with arguments of type Functor

Modifier and Type	Method	Description
Set<Functor>	QuantifiedFormulaSupport.getFunctors()
abstract Set<Functor>	RelationalFormula.getFunctors()

Constructors in net.sf.tweety.logics.commons.syntax with parameters of type Functor

Constructor	Description
FunctionalTerm(Functor functor)	Creates a new functional term with the given functor.
FunctionalTerm(Functor functor, List<Term<?>> arguments)	Creates a new functional term with the given functor and the given list of arguments.
FunctionalTerm(Functor functor, Term<?>... terms)