TR-POBTREE : WFFOP

TR-POBTREE is a wff operation.
Print out the given obligation tree as a tree. If no obligation is given,
the tree below the current obligation is printed out.

Numbers in round brackets are open obligations; those in square brackets are
closed.
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-POBTREE is:

(TR-POBTREE NAME)
"SYMBOL-OR-INTEGER"


The result is of type MATINGSTREE.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage