|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
This interface describes the functionality of an ATermReal
Field Summary |
Fields inherited from interface aterm.ATerm |
APPL, BLOB, INT, LIST, PLACEHOLDER, REAL |
Method Summary | |
double |
getReal()
Gets the real value from this term as a double. |
Methods inherited from interface aterm.ATerm |
equals, getAnnotation, getAnnotations, getFactory, getType, hashCode, isEqual, make, match, match, removeAnnotation, removeAnnotations, setAnnotation, setAnnotations, toString, writeToSharedTextFile, writeToTextFile |
Methods inherited from interface aterm.ATermVisitable |
accept |
Methods inherited from interface aterm.visitor.Visitable |
getChildAt, getChildCount, setChildAt |
Method Detail |
public double getReal()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |