1

2

3

4

5

6

7

8

9

10

11

12

13

14

15

16

17

18

function ObjectEquivalenceResolve (u,v)

m←rep_object[u]

n←rep_object[v]

if(m

equiv_listm← equiv_listmÈequiv_listn

while(object_label_WÎequiv_listn)

rep_object[object_label_W] ←m

object_label_W ←object_label_W+1

end while

end if

else if(m>n)

equiv_listn← equiv_listnÈequiv_listm

while(object_label_WÎequiv_listm)

rep_object[object_label_W] ←n

object_label_W ←object_label_W+1

end while

end if

end function