ADD-OPTIONS-COUNT : INFO

ADD-OPTIONS-COUNT is a flag setting or other piece of information.
A flag setting for OPTIONS-GENERATE-FN.
Generate new options when more than OPTIONS-GENERATE-ARG
different option sets have been tried.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage