aterm
Interface ATermInt

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

public interface ATermInt
extends ATerm

This interface describes the functionality of an ATermInt


Field Summary
 
Fields inherited from interface aterm.ATerm
APPL, BLOB, INT, LIST, PLACEHOLDER, REAL
 
Method Summary
 int getInt()
          Gets the integer value from this term.
 
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

getInt

public int getInt()
Gets the integer value from this term.

Returns:
the integer value from this term.