Uses of Class
org.tweetyproject.logics.commons.syntax.FunctionalTerm

Packages that use FunctionalTerm

Package	Description
org.tweetyproject.logics.commons.syntax
org.tweetyproject.logics.fol.syntax

Uses of FunctionalTerm in org.tweetyproject.logics.commons.syntax

Methods in org.tweetyproject.logics.commons.syntax that return FunctionalTerm

Modifier and Type	Method	Description
FunctionalTerm	FunctionalTerm.addArgument(Term<?> term)	Appends the given argument to this term's arguments and returns itself.
FunctionalTerm	FunctionalTerm.clone()

Constructors in org.tweetyproject.logics.commons.syntax with parameters of type FunctionalTerm

Modifier	Constructor	Description
	FunctionalTerm(FunctionalTerm other)	Constructs a new FunctionalTerm by copying the contents of another FunctionalTerm.

Uses of FunctionalTerm in org.tweetyproject.logics.fol.syntax

Methods in org.tweetyproject.logics.fol.syntax that return types with arguments of type FunctionalTerm

Modifier and Type	Method	Description
abstract Set<FunctionalTerm>	LogicStructure.getFunctionalTerms()	Return all functional terms that appear in this structure.