Reference

termsize(1)

Calculating an Aterm's size

NAME

termsize - Calculating an Aterm's size

SYNOPSIS

termsize < inputfile

DESCRIPTION

This manual page briefly describes the termsize commands.

termsize This utility can be used to calculate three things:

•

core size : the amount of memory a given Aterm needs

•

text size : the amount of memory needed to hold a textual representation of an Aterm

•

tree depth : the maximum deph of a term

The results are written to stdout. As termsize uses AtreadFromFile, it can calculate the size of both textual and BAF representatiobs of Aterms.

OPTIONS

This program does not take any command line arguments

SEE ALSO

baffle(1), atdiff(1), atsum(1)

AUTHOR

This manual page was written by Julien LEMOINE <[email protected]>. Permission is granted to copy, distribute and/or modify this document under the terms of the GNU Free Documentation License, Version 1.1 or any later version published by the Free Software Foundation; with no Invariant Sections, no Front-Cover Texts and no Back-Cover Texts.