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 and 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 and Description
abstract Set<Functor>	RelationalFormula.getFunctors()
Set<Functor>	QuantifiedFormulaSupport.getFunctors()

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

Constructor and 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)