ADD-OPTIONS-SUBS : INFO

ADD-OPTIONS-SUBS is a flag setting or other piece of information.
A flag setting for OPTIONS-GENERATE-FN.
Generate new options when the number of substitutions and
duplications in the next option set (i.e. its SIMPLEST-WEIGHT-B)
exceeds OPTIONS-GENERATE-ARG.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage