MS98-MERGE-DAGS : FLAGMS98-MERGE-DAGS is a flag or parameter.
For higher-order searches only. Affects the way in
which the unification graphs of elementary components are
0 : Check that the graphs of the connections are pairwise
compatible. Only compute the full graph of a component
1 : Check that the graphs of the connections are compatible
taken all together. (This can take a while for large
sets of connections.) Only compute the full graph when
2 : Always compute the full graph. This overrides FF-DELAY.
MS98-MERGE-DAGS takes values of type INTEGER+.
It belongs to subjects MS98-MINOR .
Its default value is 0
Its current value is 0.
TPS documentation homepage