PICK : MTREEOP

PICK is a matingstree command.
Pick a leaf which you may try to mate with another later.
(MB: I think that PICK N behaves as though you had just
added a connection to N, and generates the appropriate
obligations, without actually demanding another leaf to
connect with. I think.)
 
The command format for PICK is:

<Mtree>PICK LITERAL OBLIGATION
"LEAFTYPE" "SYMBOL-OR-INTEGER"

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage