CJFORM : EDOP

CJFORM is an editor command.
Converts the given GWFF to JFORM.
 
The command format for CJFORM is:

<Ed>CJFORM <<GWFF>>
<<GWFF>>


The result replaces the current wff.

TPS documentation homepage


CJFORM : MATEOP

CJFORM is a mating-search command.
Create a new jform for the expansion tree associated with the
current mating-search top-level. You need to use this command only if
you modify the expansion tree interactively and you are constructing a
mating interactively.
 
The command format for CJFORM is:

<Mate>CJFORM

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage