SCRIBE-MATEWFF : FLAG-MODE

SCRIBE-MATEWFF is a mode.
Mode used for writing formulas from mating search.
Flags are set as follows:
Flag Value in Mode Current Value
ALLSCOPEFLAG NIL NIL
ATOMVALFLAG NIL NIL
DISPLAYWFF T NIL
FIRST-ORDER-PRINT-MODE NIL NIL
FLUSHLEFTFLAG NIL NIL
LEFTMARGIN 0 0
LOCALLEFTFLAG NIL NIL
PPWFFLAG T T
PRINTDEPTH 0 0
PRINTTYPES T T
RIGHTMARGIN 70 10000
SCOPE NIL NIL
STYLE SCRIBE GENERIC

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage