POB-LITS : MTREEOP

POB-LITS is a matingstree command.
Print out the unblocked literals in a given obligation tree.
If no argument is given, the current-obligation tree is the default.
 
The command format for POB-LITS is:

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

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage