MERGE-TREE : MATEOP

MERGE-TREE is a mating-search command.
If the mating is complete, applies substitutions to the expansion
tree, then applies Pfenning's MERGE algorithm, eliminating redundant
expansion terms.
 
The command format for MERGE-TREE is:

<Mate>MERGE-TREE

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage