- Type Parameters:
T- the type of values
- All Superinterfaces:
- All Known Implementing Classes:
public interface Term<T> extends LogicStructureA 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".
- Matthias Thimm, Tim Janus
Modifier and Type Method Description
clone()Creates a deep copy of the term
set(T value)Changes the java-object representation of the term to the given value.
substitute(Term<?> v, Term<?> t)Substitutes all occurrences of term "v" in this term by term "t" and returns the new term.
void set(T value)Changes the java-object representation of the term to the given value.
value- The new java-object representation of the term.
- the java-object representation of the term.
substituteSubstitutes 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.
- a term where every occurrence of "v" is replaced by "t".
java.lang.IllegalArgumentException- if "v" and "t" are of different sorts (NOTE: this exception is only thrown when "v" actually appears in this formula)
- the sort (type) of this term.
Term<?> clone()Creates a deep copy of the term
- the clone