PPRINT-OBLIGATION-PATH : WFFOP

PPRINT-OBLIGATION-PATH is a wff operation.
Print out the path containing the given obligation,
and show all of the obligations on this path.
If no obligation is specified, then the first open obligation
in the current obligation tree is used. See the flag
DEFAULT-OB-DEEP.
 
The calling scheme for PPRINT-OBLIGATION-PATH is:

(PPRINT-OBLIGATION-PATH NAME)
"SYMBOL-OR-INTEGER"


The result is of type OBLIGATION.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage