DUPLICATION-STRATEGY-PFD : FLAG

DUPLICATION-STRATEGY-PFD is a flag or parameter.
The name of a duplication strategy for path-focused procedures.
It may have either of two values: DUP-INNER and DUP-OUTER. DUP-INNER
means inner quantifiers get duplicated before outer ones, while DUP-OUTER
means vice versa.
DUPLICATION-STRATEGY-PFD takes values of type SYMBOL.
It belongs to subjects MS93-1 MS92-9 MS91-7 MS90-9 MS90-3 MATING-SEARCH .
Its default value is DUP-INNER
Its current value is DUP-INNER.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage