public class Constant extends StringTerm
value
Constructor and Description |
---|
Constant(Constant other)
Copy-Ctor: Creates a deep copy of the given Constant
|
Constant(java.lang.String name)
Ctor: Creates a new Constant with the given name, uses "Thing"
as sort.
|
Constant(java.lang.String name,
Sort sort)
Ctor: Creates a new Constant with the given name and sort
|
Modifier and Type | Method and Description |
---|---|
Constant |
clone()
Creates a deep copy of the term
|
void |
set(java.lang.String value)
Changes the java-object representation of the term to the
given value.
|
get, toString
containsTermsOfType, equals, getSort, getTerms, getTerms, hashCode, substitute
public Constant(java.lang.String name)
name
- The name of the Constantpublic Constant(java.lang.String name, Sort sort)
name
- The name of the Constantsort
- The sort of the Constantpublic Constant(Constant other)
other
- The Constant that acts as source for the copypublic void set(java.lang.String value)
Term
set
in interface Term<java.lang.String>
set
in class StringTerm
value
- The new java-object representation of the term.