public class Term
extends java.lang.Object
Modifier and Type | Field and Description |
---|---|
boolean |
isVariable |
TermType |
type |
java.lang.String |
value |
ValueType |
valueType |
Constructor and Description |
---|
Term(java.lang.String value,
TermType type)
Constructor:
ValueType is String as default.
|
Term(java.lang.String value,
TermType type,
boolean isVariable)
Constructor:
ValueType is String as default.
|
Term(java.lang.String value,
TermType type,
ValueType valueType)
Constructor:
isVariable is set default false.
|
Term(java.lang.String value,
TermType type,
ValueType valueType,
boolean isVariable)
Constructor: all data is required to create such a
|
Term(Term term)
Creates a copy of a given
|
Modifier and Type | Method and Description |
---|---|
java.lang.String |
prettyPrint()
Returns
|
public boolean isVariable
public TermType type
public java.lang.String value
public ValueType valueType
public Term(java.lang.String value, TermType type)
public Term(java.lang.String value, TermType type, boolean isVariable)
public Term(java.lang.String value, TermType type, ValueType valueType)
value
- type
- valueType
- public Term(java.lang.String value, TermType type, ValueType valueType, boolean isVariable)
value
- type
- valueType
- isVariable
- public Term(Term term)
term
-