PENALTY-FOR-MULTIPLE-SUBS : FLAG

PENALTY-FOR-MULTIPLE-SUBS is a flag or parameter.
Used in computing weight-b in MS91 search procedures. Should be
a nonnegative integer or the symbol INFINITY, and will be the amount
of penalty given for using more than one substitution for a single
variable. See WEIGHT-B-FN.
PENALTY-FOR-MULTIPLE-SUBS takes values of type INTEGER+-OR-INFINITY.
It belongs to subjects MS91-7 MS91-6 .
Its default value is 5
Its current value is 5.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage