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
net.sf.tweety.lp.asp.parser

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 and 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 and 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 and Description
abstract java.util.Set<FunctionalTerm>	LogicStructure.getFunctionalTerms() Returns all functional terms that appear in this structure.

Uses of FunctionalTerm in net.sf.tweety.lp.asp.parser

Methods in net.sf.tweety.lp.asp.parser that return FunctionalTerm

Modifier and Type	Method and Description
FunctionalTerm	InstantiateVisitor.visit(ASTFunctionalTerm node, java.lang.Object data)