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 FunctionalTermFunctionalTerm. addArgument(Term<?> term)Appends the given argument to this term's arguments and returns itself.FunctionalTermFunctionalTerm. clone()Constructors in org.tweetyproject.logics.commons.syntax with parameters of type FunctionalTerm Constructor Description FunctionalTerm(FunctionalTerm other) -
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 java.util.Set<FunctionalTerm>LogicStructure. getFunctionalTerms()Returns all functional terms that appear in this structure.
-