Uses of Interface
aterm.ATermFactory

Packages that use ATermFactory

Package	Description
aterm
aterm.pure

Uses of ATermFactory in aterm

Methods in aterm that return ATermFactory

Modifier and Type	Method and Description
ATermFactory	ATerm.getFactory() Retrieves the factory responsible for creating this ATerm.

Uses of ATermFactory in aterm.pure

Classes in aterm.pure that implement ATermFactory

Modifier and Type	Class and Description
class	PureFactory

Methods in aterm.pure that return ATermFactory

Modifier and Type	Method and Description
ATermFactory	ATermImpl.getFactory()