PRINTMATEOPS is a flag or parameter.
The function or name of the function which test whether the
result of a particular mateop should be written to a file. This has not
been implemented.
PRINTMATEOPS takes values of type ANYTHING.
It belongs to subjects PRINTING MATING-SEARCH .
Its default value is ALWAYS-TRUE
Its current value is ALWAYS-TRUE.

TPS documentation homepage

© 1988-99, Carnegie Mellon University.

TPS homepage