public interface ATermAppl extends ATerm
| Modifier and Type | Method and Description |
|---|---|
AFun |
getAFun()
Gets the AFun object that represents the function symbol of this application
|
ATerm |
getArgument(int i)
Gets a specific argument of this application.
|
ATerm[] |
getArgumentArray()
Gets the arguments of this application as an array of ATerm objects.
|
ATermList |
getArguments()
Gets the arguments of this application.
|
int |
getArity()
Gets the arity of this application.
|
String |
getName()
Gets the function name of this application.
|
boolean |
isQuoted()
Checks if this application is quoted.
|
ATermAppl |
setArgument(ATerm arg,
int i)
Sets a specific argument of this application.
|
equals, getAnnotation, getAnnotations, getFactory, getType, hasAnnotations, hashCode, isEqual, make, match, match, removeAnnotation, removeAnnotations, setAnnotation, setAnnotations, toString, writeToSharedTextFile, writeToTextFilegetUniqueIdentifierAFun getAFun()
String getName()
ATermList getArguments()
ATerm[] getArgumentArray()
ATerm getArgument(int i)
i - the index of the argument to be retrieved.ATermAppl setArgument(ATerm arg, int i)
arg - the new ith argument.i - the index of the argument to be set.boolean isQuoted()
int getArity()
Copyright © 2012 CWI. All Rights Reserved.