DEEPEST : INFO

DEEPEST is a flag setting or other piece of information.
A setting for DEFAULT-OB.
The default next obligation in mtree is found by depth-first search
of the obligation tree.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage