POB : MTREEOP

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

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

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage