1.Let M be the set of putative minimal diagnoses, initially containing only [].
2.If no more conflicts, the M is the minimal
diagnoses
3.For every new conflict C
1. For every
diagnosis D in M
1.If D identifies one component in C as faulted, do
nothing.
2.Else remove D from M and add to M all D’ which have some
component of C faulted.
2.Remove duplicates from M
4.Go to 2.
1.