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

A setting for MT-DEFAULT-OB-MATE
When applying ADD-CONN to an mtree, choose the default obligation by
choosing the obligation which lies highest (i.e. nearest to the
root, but not the root itself).

TPS documentation homepage

© 1988-99, Carnegie Mellon University.

TPS homepage