MS98-REWRITE-MODEL : FLAG

MS98-REWRITE-MODEL is a flag or parameter.
If T, ask the user for a model of the rewrite rules
to help slim down the unification tree.
MS98-REWRITE-MODEL takes values of type BOOLEAN.
It belongs to subjects MS98-MINOR .
Its default value is NIL
Its current value is NIL.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage