ETREE-NAT-VERBOSE : FLAG

ETREE-NAT-VERBOSE is a flag or parameter.
Should be a list of print-functions (see the help message
for PRINT-FUNCTION), which will be executed after each tactic during
ETREE-NAT.
ETREE-NAT-VERBOSE takes values of type PRINT-FUNCTION-LIST.
It belongs to subjects PRINTING ETR-NAT .
Its default value is (PRFW-PALL PRFW-^P PRFW-^PN ^PN)
Its current value is (PRFW-PALL PRFW-^P PRFW-^PN ^PN).

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage