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

Packages that use FunctionalTerm

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

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

Methods in net.sf.tweety.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 net.sf.tweety.logics.commons.syntax with parameters of type FunctionalTerm

Constructor	Description
FunctionalTerm(FunctionalTerm other)

Uses of FunctionalTerm in net.sf.tweety.logics.fol.syntax

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

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