MS98-MERGE-DAGS : FLAG

MS98-MERGE-DAGS is a flag or parameter.
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.

TPS documentation homepage


© 1988-99, Carnegie Mellon University.

TPS homepage