OPTIONS-GENERATE-ARG : FLAG

OPTIONS-GENERATE-ARG is a flag or parameter.
The argument used by the function given in the flag
OPTIONS-GENERATE-FN. If this argument is INFINITY then new options will
never be generated. See the help message for OPTIONS-GENERATE-FN.
OPTIONS-GENERATE-ARG takes values of type INTEGER+-OR-INFINITY.
It belongs to subjects MS91-7 MS91-6 .
Its default value is 75
Its current value is 75.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage