Uses of Class
aterm.stream.BufferedOutputStreamWriter

Packages that use BufferedOutputStreamWriter

Package	Description
aterm
aterm.pure

Uses of BufferedOutputStreamWriter in aterm

Methods in aterm with parameters of type BufferedOutputStreamWriter

Modifier and Type	Method and Description
int	AFun.serialize(BufferedOutputStreamWriter writer)

Uses of BufferedOutputStreamWriter in aterm.pure

Methods in aterm.pure with parameters of type BufferedOutputStreamWriter

Modifier and Type	Method and Description
int	AFunImpl.serialize(BufferedOutputStreamWriter writer)