VP-TEX : WFFOPVP-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
4. ALLSCOPEFLAG controls where square brackets are printed.
The calling scheme for VP-TEX is:
(VP-TEX JFORM FILE)
The result is of type IGNORE.
The arguments have the following meaning:
JFORM : JForm
FILE : The file to print into
TPS documentation homepage