|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
An ATermAppl represents a function application.
Field Summary |
Fields inherited from interface aterm.ATerm |
APPL, BLOB, INT, LIST, PLACEHOLDER, REAL |
Method Summary | |
aterm.AFun |
getAFun()
Gets the AFun object that represents the function symbol of this application |
aterm.ATerm |
getArgument(int i)
Gets a specific argument of this application. |
aterm.ATerm[] |
getArgumentArray()
Gets the arguments of this application as an array of ATerm objects. |
aterm.ATermList |
getArguments()
Gets the arguments of this application. |
int |
getArity()
Gets the arity of this application. |
java.lang.String |
getName()
Gets the function name of this application. |
boolean |
isQuoted()
Checks if this application is quoted. |
aterm.ATermAppl |
setArgument(aterm.ATerm arg,
int i)
Sets a specific argument of this application. |
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 aterm.AFun getAFun()
public java.lang.String getName()
public aterm.ATermList getArguments()
public aterm.ATerm[] getArgumentArray()
public aterm.ATerm getArgument(int i)
i
- the index of the argument to be retrieved.
public aterm.ATermAppl setArgument(aterm.ATerm arg, int i)
arg
- the new ith argument.i
- the index of the argument to be set.
public boolean isQuoted()
public int getArity()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |