0 : EDOP

0 is an editor command.
Move up one-level, i.e., undo the last L, R, D,
or A command. Note that 0 stands for the numeral zero.
 
The command format for 0 is:

<Ed>0

TPS documentation homepage


0 : MATEOP

0 is a mating-search command.
Move back to previous node, e.g., undo the last L or R
command. Note that 0 stands for the numeral zero.
0 is a expansion-tree moving command.

TPS documentation homepage


0 : UNIFOP

0 is an unification command.
Replace the current topnode with the node on top of the nodestack.
Generally, typing an integer n will go to the nth son of the current
node. Compare the command NTH-SON.
0 is a unification tree moving command.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage