aterm
Interface ATermAppl

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

public interface ATermAppl
extends ATerm

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

getAFun

public aterm.AFun getAFun()
Gets the AFun object that represents the function symbol of this application

Returns:
the function symbol of this application.

getName

public java.lang.String getName()
Gets the function name of this application.

Returns:
the function name of this application.

getArguments

public aterm.ATermList getArguments()
Gets the arguments of this application.

Returns:
a list containing all arguments of this application.

getArgumentArray

public aterm.ATerm[] getArgumentArray()
Gets the arguments of this application as an array of ATerm objects.

Returns:
an array containing all arguments of this application.

getArgument

public aterm.ATerm getArgument(int i)
Gets a specific argument of this application.

Parameters:
i - the index of the argument to be retrieved.
Returns:
the ith argument of the application.

setArgument

public aterm.ATermAppl setArgument(aterm.ATerm arg,
                                   int i)
Sets a specific argument of this application.

Parameters:
arg - the new ith argument.
i - the index of the argument to be set.
Returns:
a copy of this application with argument i replaced by arg.

isQuoted

public boolean isQuoted()
Checks if this application is quoted. A quoted application looks like this: "foo", whereas an unquoted looks like this: foo.

Returns:
true if this application is quoted, false otherwise.

getArity

public int getArity()
Gets the arity of this application. Arity is the number of arguments of a function application.

Returns:
the number of arguments of this application.