@MiNiPanda
After reading your comment I realized something so here what I come to know please check :
(and yeah thanx for your intuition it always helps:) )
And I think relaxation will work fine as after updating distance matrix we modify the heap ( as per me ).
And "membership" will work fine too as we have that array linked with our heap.
But yeah i am agree with you that it wont take constant time. ( as per me it may take vlogv )
bcoz its not like we are taking all the nodes and heapify. we gradually build the heap as per relaxation so distance array will be changed gradually.
Please check the following :