Uses of Class
org.tweetyproject.logics.commons.syntax.FunctionalTerm
-
Uses of FunctionalTerm in org.tweetyproject.logics.commons.syntax
Modifier and TypeMethodDescriptionFunctionalTerm.addArgument(Term<?> term)
Appends the given argument to this term's arguments and returns itself.FunctionalTerm.clone()
-
Uses of FunctionalTerm in org.tweetyproject.logics.fol.syntax
Modifier and TypeMethodDescriptionabstract Set<FunctionalTerm>
LogicStructure.getFunctionalTerms()