INIT-MATING : MATEOP

INIT-MATING is a mating-search command.
No more help available. Sorry.
 
The command format for INIT-MATING is:

<Mate>INIT-MATING

TPS documentation homepage


INIT-MATING : WFFOP

INIT-MATING is a wff operation.
Initializes a new mating. This is the recommended way for
starting an interactive session in MS.
 
The calling scheme for INIT-MATING is:

(INIT-MATING)


The result is of type IGNORE.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage