|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
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 |
public java.lang.String getName()
public int getArity()
public boolean isQuoted()
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: NESTED | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |