| java.lang.Object
 de.uka.ilkd.key.proof.decproc.smtlib.Term
de.uka.ilkd.key.proof.decproc.smtlib.TermVariable
| TermVariable | | final public class TermVariable extends Term (Code) | | Represents a term variable as defined in the SMT-Lib specification, and specialized
in the (QF_)AUFLIA sublogic. Thereby a term variable is a variable (identifier) that
respresent an arbitrary term. The identifier is a String, starting with a letter and
containing only letters, digits, "_", "'" and "."
TermsVariables are immutable; their attribute values cannot be changed once they are
created.
author:
akuwertz
version:
1.5, 09/29/2006 (Added signatures to term variables) |
| TermVariable | | public TermVariable(String varName, Signature sig)(Code) | | Creates a new TermVariable
Parameters:
varName - the identifier of the Term variable to be represented
Parameters:
sig - the Signature denoting the sort of this Term variable
throws:
NullPointerException - if varName is null
throws:
IllegalArgumentException - if varName contains an illegal characteror equals an interpreted symbol in (QF_)AUFLIA |
| getSignature | | public Signature getSignature()(Code) | | Returns the signature (sort) of this TermVariable
the signature of this TermVariable |
| hashCode | | public int hashCode()(Code) | | Returns an int value representing the hash code of this TermVariable.
This hash code is calculated by combining the Term hash code of this
TermVariable with the hash code of its Signature
the hash code of this TermVariable |
| Fields inherited from de.uka.ilkd.key.proof.decproc.smtlib.Term | final protected static Vector marker(Code)(Java Doc)
|
|
|