aterm
Interface ATermReal

All Superinterfaces:
ATerm, aterm.ATermVisitable, aterm.visitor.Visitable

public interface ATermReal
extends ATerm

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

getReal

public double getReal()
Gets the real value from this term as a double.

Returns:
the real value from this term.