aterm
Interface AFun


public interface AFun

An AFun represents a function symbol


Method Summary
 int getArity()
          Gets the arity of this application.
 java.lang.String getName()
          Gets the name of the function symbol
 boolean isQuoted()
          Checks if this application is quoted.
 

Method Detail

getName

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

Returns:
the name of this function symbol.

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 that applications of this function symbol have.

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.