POTR*-FLAT : MTREEOP

POTR*-FLAT is a matingstree command.
Print out the given obligation tree in flat form,
with the jforms attached to all nodes. If no argument is given,
the whole obligation tree is printed out.
 
The command format for POTR*-FLAT is:

<Mtree>POTR*-FLAT NAME
"SYMBOL-OR-INTEGER"

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage