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 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.
-