PRINTDEPTH : FLAG

PRINTDEPTH is a flag or parameter.
If 0, all printing will be done to arbitrary recursive depth,
if n > 0 subformulas of depth n will be replaced by '&'.
PRINTDEPTH takes values of type INTEGER+.
It belongs to subjects PRINTING .
Its default value is 0
Its current value is 0.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage