All Known Implementing Classes:
Constant, FunctionalTerm, ListTerm, NumberTerm, SetTerm, StringTerm, TermAdapter, Variable
A term of a logical language, that can be given as argument for logical constructs
like atoms or functors. A term can have a Sort which gives it a types, the default
Sort which is also used by untyped languages is "Thing".
Author: Matthias Thimm, Tim Janus
Returns: the java-object representation of the term.
Term<?> substitute( Term<?> v,
Substitutes all occurrences of term "v" in this term
by term "t" and returns the new term.
v - the term to be substituted.
t - the term to substitute.
Returns: a term where every occurrence of "v" is replaced
java.lang.IllegalArgumentException - if "v" and "t" are of different sorts
(NOTE: this exception is only thrown when "v" actually appears in this
Returns: the sort (type) of this term.