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

`desing/branchSize`

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.

Input:

 

ID

a name, the ID of the root of the subtree in the resolution tree,

level

an integer, the depth of the node ID in the tree.

Output:

An integer, the number of leafs in the subtree with root ID.