aterm

Interface ATermReal

All Superinterfaces:

ATerm, Identifiable, jjtraveler.Visitable

All Known Implementing Classes:

ATermRealImpl

public interface ATermReal
extends ATerm

This interface describes the functionality of an ATermReal

Author:

Hayco de Jong (jong@cwi.nl), Pieter Olivier (olivierp@cwi.nl)

Field Summary

Fields inherited from interface aterm.ATerm

AFUN, APPL, BLOB, INT, LIST, LONG, PLACEHOLDER, REAL

Method Summary

Methods

Modifier and Type	Method and Description
double	getReal() Gets the real value from this term as a double.

Methods inherited from interface aterm.ATerm

equals, getAnnotation, getAnnotations, getFactory, getType, hasAnnotations, hashCode, isEqual, make, match, match, removeAnnotation, removeAnnotations, setAnnotation, setAnnotations, toString, writeToSharedTextFile, writeToTextFile

Methods inherited from interface aterm.Visitable

accept

Methods inherited from interface jjtraveler.Visitable

getChildAt, getChildCount, setChildAt

Methods inherited from interface aterm.Identifiable

getUniqueIdentifier

Method Detail

getReal

double getReal()

Gets the real value from this term as a double.

Returns:

the real value from this term.