OPTIONS-GENERATE-UPDATE : FLAG

OPTIONS-GENERATE-UPDATE is a flag or parameter.
The function used to update the value of the flag
OPTIONS-GENERATE-ARG. Current possibilities are:
* IDENT-ARG leaves the value unchanged.
* DOUBLE-ARG doubles the value.
* SQUARE-ARG squares the value.
* INF-ARG makes the value INFINITY.
Note that a value of INFINITY means that new options will never be
generated.
OPTIONS-GENERATE-UPDATE takes values of type SYMBOL.
It belongs to subjects MS91-7 MS91-6 .
Its default value is IDENT-ARG
Its current value is IDENT-ARG.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage