RE-READ : FLAG-MODE

RE-READ is a mode.
Used when writing out wffs to a file
in such a way that they may be read back in and parsed correctly
in higher-order mode.
Flags are set as follows:
Flag Value in Mode Current Value
PRINT-META NIL NIL
ATOMVALFLAG NIL NIL
DISPLAYWFF NIL NIL
FIRST-ORDER-PRINT-MODE NIL NIL
LEFTMARGIN 1 0
PPWFFLAG T T
PRINTDEPTH 0 0
PRINTTYPES T T
PRINTTYPES-ALL T NIL
RIGHTMARGIN 78 10000
SCOPE NIL NIL
STYLE GENERIC-STRING GENERIC

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage