previous up next
Go backward to `desing/blunify`
Go up to Procedures
Go forward to `desing/ccvv`


Calculation of the number of leafs in the given subtree of the resolution tree. The procedure is used by `desing/dumpTree` to adjust the sizes of the blocks of the table containing the resolution tree.

a name, the ID of the root of the subtree in the resolution tree,
an integer, the depth of the node ID in the tree.
An integer, the number of leafs in the subtree with root ID.
The procedure puts node information in the global variable treeOut.
previous up next