PRINTEDTOPS is a flag or parameter.
The function or name of the function which test whether the
result of a particular edop should be written to a file.
PRINTEDTOPS takes values of type ANYTHING.
It belongs to subjects PRINTING EDITOR .
Its default value is ALWAYS-TRUE
Its current value is ALWAYS-TRUE.

TPS documentation homepage

© 1988-99, Carnegie Mellon University.

TPS homepage