MT94-11 : MTREEOPMT94-11 is a matingstree command.
Apply EXPAND-LEAVES repeatedly to all live leaves of the current
matingstree that lie below the given node (or the current node, if
no node is given), until a closed leaf is generated.
WARNING: Potential combinatorial explosion!
The command format for MT94-11 is:
TPS documentation homepage