TR-PRINT-MATINGSTREE 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.

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 is:


The result is of type MATINGSTREE.

TPS documentation homepage

© 1988-99, Carnegie Mellon University.

TPS homepage