POB-NODE : MTREEOP

POB-NODE is a matingstree command.
Print out the given obligation in detail. If no
obligation is given, then the first open obligation
in the current obligation tree is used. See the flag
DEFAULT-OB-DEEP.
 
The command format for POB-NODE is:

<Mtree>POB-NODE NAME
"SYMBOL-OR-INTEGER"

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage