VP-TEX : WFFOP

VP-TEX is a wff operation.
Prints the path diagram, in a format understood by TeX, for a JForm
or a GWFF. At present, it chops off whatever will not fit on one page.
The following flags affect the output:
1. VPD-BRIEF controls whether labels or wffs are printed.
2. VPD-PTYPES controls whether types are printed.
3. TEXFORMAT controls whether the vertical or horizontal path diagram is
printed.
4. ALLSCOPEFLAG controls where square brackets are printed.
 
The calling scheme for VP-TEX is:

(VP-TEX JFORM FILE)
"JFORM" "FILESPEC"


The result is of type IGNORE.

The arguments have the following meaning:
JFORM : JForm
FILE : The file to print into

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage