public abstract class Constant extends Object implements Term
Constructor and Description |
---|
Constant() |
Modifier and Type | Method and Description |
---|---|
abstract String |
rawToString()
Get a string representation of the internal constant value.
|
String |
toString() |
clone, equals, finalize, getClass, hashCode, notify, notifyAll, wait, wait, wait
compareTo
Copyright © 2020 University of California, Santa Cruz. All rights reserved.