Uses of Interface
aterm.ATermInt

Packages that use ATermInt

Package	Description
aterm
aterm.pure
aterm.pure.binary

Uses of ATermInt in aterm

Methods in aterm that return ATermInt

Modifier and Type	Method and Description
ATermInt	ATermFactory.makeInt(int val) Creates a new ATermInt object

Methods in aterm with parameters of type ATermInt

Modifier and Type	Method and Description
Visitable	ATermFwd.visitInt(ATermInt arg)
Visitable	Visitor.visitInt(ATermInt arg)
Visitable	ATermFwdVoid.visitInt(ATermInt arg)
void	ATermFwdVoid.voidVisitInt(ATermInt arg)

Uses of ATermInt in aterm.pure

Classes in aterm.pure that implement ATermInt

Modifier and Type	Class and Description
class	ATermIntImpl

Methods in aterm.pure that return ATermInt

Modifier and Type	Method and Description
ATermInt	PureFactory.makeInt(int val)
ATermInt	PureFactory.makeInt(int value, ATermList annos)

Uses of ATermInt in aterm.pure.binary

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

Modifier and Type	Method and Description
void	BinaryWriter.voidVisitInt(ATermInt arg) Serializes the given int.