ADD-OPTIONS-ORIGINAL : INFO

ADD-OPTIONS-ORIGINAL is a flag setting or other piece of information.
A flag setting for OPTIONS-GENERATE-FN.
Generate new options when over OPTIONS-GENERATE-ARG percent of
the possible option sets have been used, and each option appears
in at least one option set.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage