PRIM-BDTYPES-AUTO : FLAG

PRIM-BDTYPES-AUTO is a flag or parameter.
Has five possible values: REPLACE, REPLACE-SUB, APPEND,
APPEND-SUB and IGNORE.
Determines how the procedures that use primitive substitutions
handle the flag PRIM-BDTYPES, as follows:
REPLACE -- the value of PRIM-BDTYPES will be changed to an
automatically-generated list of all the primitive types used in
the gwff to be proven.
REPLACE-SUB -- as for replace, except that the list will be of all
the subtypes of the types that appear in the gwff.
APPEND -- the same list is calculated as for REPLACE, but instead
of replacing the current setting of PRIM-BDTYPES it will be appended
to it.
APPEND-SUB -- the same list is calculated as for APPEND, but instead
of replacing the current setting of PRIM-BDTYPES it will be appended
to it.
IGNORE -- no list will be generated, and the user's setting of
PRIM-BDTYPES will be left intact.
PRIM-BDTYPES-AUTO takes values of type SYMBOL.
It belongs to subjects IMPORTANT PRIMSUBS .
Its default value is REPLACE
Its current value is REPLACE.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage