Dijkstra Heap completed