Require: Entrée : la base de partition élaguees ř de la relation r .
Sortie : les ensembles en accord de r : ag(r)
1: MC <— max≤{c € πˆA / πˆA € ř }
2: ag(r) <— Ø
3:couples <— Ø
4:for all classe d'equivalence maximale c € MC do
5: for all couple (t1,t2) € c do
6: couples <— couples U (t1,t2)
7: ag(t1,t2)<— Ø
8: end for
9:end for
10:for all πˆA € ř do
11: for all classes d'equivalence c € πˆA do
12: for all (t1,t2) € couples do
13: if t1 € c et t2 € c then
14: ag(t1,t2) <— ag(t1,t2) U {A}
15: end if
16: end for
17: end for
18:end for
19: for all couples (t1,t2) € couples do
20: ag(r) <— ag(r) U ag(t1,t2)
21: end for
-----