PRINT-NODENAMES is a flag or parameter.
T will print the names of expansion and selection nodes,
NIL will print either the deep or shallow formula of the node.
(see the flag PRINT-DEEP).
PRINT-NODENAMES takes values of type BOOLEAN.
It belongs to subjects ETREES PRINTING .
Its default value is T
Its current value is T.

TPS documentation homepage

© 1988-99, Carnegie Mellon University.

TPS homepage