Uses of Interface
aterm.ATermAppl

Packages that use ATermAppl

Package	Description
aterm
aterm.pure
aterm.pure.binary

Uses of ATermAppl in aterm

Methods in aterm that return ATermAppl

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.
ATermAppl	ATermAppl.setArgument(ATerm arg, int i) Sets a specific argument of this application.

Methods in aterm with parameters of type ATermAppl

Modifier and Type	Method and Description
Visitable	ATermFwd.visitAppl(ATermAppl arg)
Visitable	Visitor.visitAppl(ATermAppl arg)
Visitable	ATermFwdVoid.visitAppl(ATermAppl arg)
void	ATermFwdVoid.voidVisitAppl(ATermAppl arg)

Uses of ATermAppl in aterm.pure

Classes in aterm.pure that implement ATermAppl

Modifier and Type	Class and Description
class	ATermApplImpl

Methods in aterm.pure that return ATermAppl

Modifier and Type	Method and Description
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)
ATermAppl	ATermApplImpl.setArgument(ATerm newarg, int index)

Uses of ATermAppl in aterm.pure.binary

Methods in aterm.pure.binary with parameters of type ATermAppl

Modifier and Type	Method and Description
void	BinaryWriter.voidVisitAppl(ATermAppl arg) Serializes the given appl.