GOTO : MATEOP

GOTO is a mating-search command.
Move to a specified node.
 
The command format for GOTO is:

<Mate>GOTO NODE <<ETREE>>
"SYMBOL" <<ETREE>>


The result replaces the current top node.

TPS documentation homepage


GOTO : MTREEOP

GOTO is a matingstree command.
GOTO <node> means to go to the given node. If <node> is not given,
it means to go to the root of the matingstree
 
The command format for GOTO is:

<Mtree>GOTO NODE
"SYMBOL-OR-INTEGER"

TPS documentation homepage


GOTO : UNIFOP

GOTO is an unification command.
Go to the specified node in the unification tree.
 
The command format for GOTO is:

<Unif>GOTO NAME
"STRING"

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage