public interface Term<T> extends LogicStructure
Modifier and Type | Method and Description |
---|---|
Term<?> |
clone()
Creates a deep copy of the term
|
T |
get() |
Sort |
getSort() |
void |
set(T value)
Changes the java-object representation of the term to the
given value.
|
Term<?> |
substitute(Term<?> v,
Term<?> t)
Substitutes all occurrences of term "v" in this term
by term "t" and returns the new term.
|
containsTermsOfType, getTerms, getTerms
void set(T value)
value
- The new java-object representation of the term.T get()
Term<?> substitute(Term<?> v, Term<?> t) throws java.lang.IllegalArgumentException
v
- the term to be substituted.t
- the term to substitute.java.lang.IllegalArgumentException
- if "v" and "t" are of different sorts
(NOTE: this exception is only thrown when "v" actually appears in this
formula)Sort getSort()
Term<?> clone()