TR-PRINT-MATINGSTREE-OB : WFFOPTR-PRINT-MATINGSTREE-OB is a wff operation.
Print out the given matingstree as a tree, showing the obligations at each
node. If no matingstree is given, the current-matingstree is printed out.
Numbers in round brackets are open obligations. If the brackets end in "..",
there are too many open obligations to fit under the mstree label.
Leaves underlined with ^'s are closed matingstrees.
Matingstrees enclosed in curly brackets are marked as dead.
Branches with *'s denote nodes that are being omitted for lack of space. The
cure for this is to either start printing from a node lower in the tree, or
make the screen wider.
The calling scheme for TR-PRINT-MATINGSTREE-OB is:
The result is of type MATINGSTREE.
TPS documentation homepage