MS98-REWRITE-DEPTH : FLAG

MS98-REWRITE-DEPTH is a flag or parameter.
When attempting to rewrite one term into another,
the maximum number of steps of rewriting that are allowed.
MS98-REWRITE-DEPTH takes values of type POSINTEGER.
It belongs to subjects MS98-1 .
Its default value is 2
Its current value is 2.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage