SHOW-SUBSTS : MATEOP

SHOW-SUBSTS is a mating-search command.
Show the substitutions suggested by mating search for the complete
active mating.
 
The command format for SHOW-SUBSTS is:

<Mate>SHOW-SUBSTS

TPS documentation homepage


SHOW-SUBSTS : MTREEOP

SHOW-SUBSTS is a matingstree command.
Show the substitution stack associated with a matingstree node.
 
The command format for SHOW-SUBSTS is:

<Mtree>SHOW-SUBSTS

TPS documentation homepage


SHOW-SUBSTS : WFFOP

SHOW-SUBSTS is a wff operation.
Show the substitutions suggested by mating search for the complete
active mating.
 
The calling scheme for SHOW-SUBSTS is:

(SHOW-SUBSTS)


The result is of type NIL.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage