239                 igraph_real_t altdist = mindist + VECTOR(*weights)[edge];  in igraph_i_average_path_length_dijkstra()  local
245                     IGRAPH_CHECK(igraph_2wheap_push_with_index(&Q, tto, -altdist));  in igraph_i_average_path_length_dijkstra()
246                 } else if (altdist < curdist) {  in igraph_i_average_path_length_dijkstra()
248                     IGRAPH_CHECK(igraph_2wheap_modify(&Q, tto, -altdist));  in igraph_i_average_path_length_dijkstra()
610                 igraph_real_t altdist, curdist;  in igraph_i_local_efficiency_dijkstra()  local
618                 altdist = mindist + VECTOR(*weights)[edge];  in igraph_i_local_efficiency_dijkstra()
624                     IGRAPH_CHECK(igraph_2wheap_push_with_index(Q, tto, -altdist));  in igraph_i_local_efficiency_dijkstra()
625                 } else if (altdist < curdist) {  in igraph_i_local_efficiency_dijkstra()
627                     IGRAPH_CHECK(igraph_2wheap_modify(Q, tto, -altdist));  in igraph_i_local_efficiency_dijkstra()
1202                 igraph_real_t altdist = mindist + VECTOR(*weights)[edge];  in igraph_diameter_dijkstra()  local
1209                     IGRAPH_CHECK(igraph_2wheap_push_with_index(&Q, tto, -altdist));  in igraph_diameter_dijkstra()
1210                 } else if (altdist < curdist) {  in igraph_diameter_dijkstra()
1212                     IGRAPH_CHECK(igraph_2wheap_modify(&Q, tto, -altdist));  in igraph_diameter_dijkstra()