DEFAULT-EXPAND : FLAG

DEFAULT-EXPAND is a flag or parameter.
Used with DEFAULT-MATE to determine a setting for DEFAULT-MS.
Combinations marked N/A will result in DEFAULT-MS being set to NIL.
Notice that for otree and oset searches, the actual primsubs generated will
depend on the setting of PRIMSUB-METHOD.
Takes values: none, ms98-1, otree and oset.
The value MS98-1 is an exceptional setting used for both this flag and
DEFAULT-MATE to denote the MS98-1 procedure.
Changes DEFAULT-MS as follows:
DEFAULT-EXPAND: | NONE | OTREE | OSET |
========================+=========+=========+========+
DEFAULT-MATE: NPFD | MS88 | MS89 | MS91-6 |
--------------+---------+---------+--------+
NPFD-1 | MS92-9 | MS93-1 | N/A |
--------------+---------+---------+--------+
PFD | MS90-3 | MS90-9 | MS91-7 |
--------------+---------+---------+--------+
MTREE | MT94-11 | N/A | N/A |
--------------+---------+---------+--------+
MTREE-1 | MT94-12 | N/A | N/A |
--------------+---------+---------+--------+
MTREE-2 | MT95-1 | N/A | N/A |
--------------+---------+---------+--------+
DEFAULT-EXPAND takes values of type SYMBOL.
It belongs to subjects MTREE-TOP MS93-1 MS92-9 MS91-7 MS91-6 MS90-9 MS90-3 MS89 MS88 MATING-SEARCH .
Its default value is OTREE
Its current value is OTREE.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage