termsize1
Calculating an aterm's size
Usage
termsize <
inputfile
Overview
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