ADD-OPTIONS-WEIGHT : INFO

ADD-OPTIONS-WEIGHT is a flag setting or other piece of information.
A flag setting for OPTIONS-GENERATE-FN.
Generate new options when the lower end of the acceptable weight
bracket for a new option set exceeds OPTIONS-GENERATE-ARG.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage