| Package | Description |
|---|---|
| aterm | |
| aterm.pure |
| Modifier and Type | Method and Description |
|---|---|
AFun |
ATermAppl.getAFun()
Gets the AFun object that represents the function symbol of this application
|
AFun |
ATermFactory.makeAFun(String name,
int arity,
boolean isQuoted)
Creates an AFun object
|
| Modifier and Type | Method and Description |
|---|---|
ATermAppl |
ATermFactory.makeAppl(AFun fun)
Creates a function application.
|
ATermAppl |
ATermFactory.makeAppl(AFun fun,
ATerm arg)
Creates a function application.
|
ATermAppl |
ATermFactory.makeAppl(AFun fun,
ATerm[] args)
Creates a function application.
|
ATermAppl |
ATermFactory.makeAppl(AFun fun,
ATerm arg1,
ATerm arg2)
Creates a function application.
|
ATermAppl |
ATermFactory.makeAppl(AFun fun,
ATerm arg1,
ATerm arg2,
ATerm arg3)
Creates a function application.
|
ATermAppl |
ATermFactory.makeAppl(AFun fun,
ATerm arg1,
ATerm arg2,
ATerm arg3,
ATerm arg4)
Creates a function application.
|
ATermAppl |
ATermFactory.makeAppl(AFun fun,
ATerm arg1,
ATerm arg2,
ATerm arg3,
ATerm arg4,
ATerm arg5)
Creates a function application.
|
ATermAppl |
ATermFactory.makeAppl(AFun fun,
ATerm arg1,
ATerm arg2,
ATerm arg3,
ATerm arg4,
ATerm arg5,
ATerm arg6)
Creates a function application.
|
ATermAppl |
ATermFactory.makeApplList(AFun fun,
ATermList args)
Creates a function application.
|
Visitable |
ATermFwd.visitAFun(AFun fun) |
Visitable |
Visitor.visitAFun(AFun fun) |
Visitable |
ATermFwdVoid.visitAFun(AFun fun) |
| Modifier and Type | Class and Description |
|---|---|
class |
AFunImpl |
| Modifier and Type | Method and Description |
|---|---|
AFun |
ATermApplImpl.getAFun() |
AFun |
PureFactory.makeAFun(String name,
int arity,
boolean isQuoted) |
| Modifier and Type | Method and Description |
|---|---|
protected void |
ATermApplImpl.init(int hashCode,
ATermList annos,
AFun fun,
ATerm[] i_args) |
protected void |
ATermApplImpl.initHashCode(ATermList annos,
AFun fun,
ATerm[] i_args) |
protected ATermAppl |
ATermApplImpl.make(AFun fun,
ATerm[] i_args) |
protected ATermAppl |
ATermApplImpl.make(AFun fun,
ATerm[] i_args,
ATermList annos) |
ATermAppl |
PureFactory.makeAppl(AFun fun) |
ATermAppl |
PureFactory.makeAppl(AFun fun,
ATerm arg) |
ATermAppl |
PureFactory.makeAppl(AFun fun,
ATerm[] args) |
ATermAppl |
PureFactory.makeAppl(AFun fun,
ATerm[] args,
ATermList annos) |
ATermAppl |
PureFactory.makeAppl(AFun fun,
ATerm arg1,
ATerm arg2) |
ATermAppl |
PureFactory.makeAppl(AFun fun,
ATerm arg1,
ATerm arg2,
ATerm arg3) |
ATermAppl |
PureFactory.makeAppl(AFun fun,
ATerm arg1,
ATerm arg2,
ATerm arg3,
ATerm arg4) |
ATermAppl |
PureFactory.makeAppl(AFun fun,
ATerm arg1,
ATerm arg2,
ATerm arg3,
ATerm arg4,
ATerm arg5) |
ATermAppl |
PureFactory.makeAppl(AFun fun,
ATerm arg1,
ATerm arg2,
ATerm arg3,
ATerm arg4,
ATerm arg5,
ATerm arg6) |
ATermAppl |
PureFactory.makeAppl(AFun fun,
ATerm arg1,
ATerm arg2,
ATerm arg3,
ATerm arg4,
ATerm arg5,
ATerm arg6,
ATerm arg7) |
ATermAppl |
PureFactory.makeApplList(AFun fun,
ATermList list) |
ATermAppl |
PureFactory.makeApplList(AFun fun,
ATermList list,
ATermList annos) |
| Constructor and Description |
|---|
ATermApplImpl(PureFactory factory,
ATermList annos,
AFun fun,
ATerm[] i_args) |
Copyright © 2012 CWI. All Rights Reserved.