PENALTY-FOR-EACH-PRIMSUB : FLAG

PENALTY-FOR-EACH-PRIMSUB 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 each primitive substitution. See WEIGHT-B-FN.
PENALTY-FOR-EACH-PRIMSUB takes values of type INTEGER+-OR-INFINITY.
It belongs to subjects MS91-7 MS91-6 .
Its default value is 3
Its current value is 3.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage