For higher-order searches only. Affects the way in

which the unification graphs of elementary components are

computed.

0 : Check that the graphs of the connections are pairwise

compatible. Only compute the full graph of a component

when necessary.

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

necessary.

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.

© 1988-99, Carnegie Mellon University.