public interface ATermLong extends ATerm
| Modifier and Type | Method and Description |
|---|---|
long |
getLong()
Gets the long value from this term.
|
equals, getAnnotation, getAnnotations, getFactory, getType, hasAnnotations, hashCode, isEqual, make, match, match, removeAnnotation, removeAnnotations, setAnnotation, setAnnotations, toString, writeToSharedTextFile, writeToTextFilegetUniqueIdentifierCopyright © 2012 CWI. All Rights Reserved.