Uses of Interface
aterm.AFun

Packages that use AFun

Package	Description
aterm
aterm.pure

Uses of AFun in aterm

Methods in aterm that return AFun

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

Methods in aterm with parameters of type AFun

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)

Uses of AFun in aterm.pure

Classes in aterm.pure that implement AFun

Modifier and Type	Class and Description
class	AFunImpl

Methods in aterm.pure that return AFun

Modifier and Type	Method and Description
AFun	ATermApplImpl.getAFun()
AFun	PureFactory.makeAFun(String name, int arity, boolean isQuoted)

Methods in aterm.pure with parameters of type AFun

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)

Constructors in aterm.pure with parameters of type AFun

Constructor and Description
ATermApplImpl(PureFactory factory, ATermList annos, AFun fun, ATerm[] i_args)