- // for(int k = 0; k < _nb_edges; k++) {
- // Edge *e = _edges + k;
- // d = e->origin_vertex->distance_from_source + e->positivized_length;
- // if(d < e->terminal_vertex->distance_from_source) {
- // e->terminal_vertex->distance_from_source = d;
- // _new_front_size++;
- // }
- // }
-
- // for(int n = 0; n < _nb_vertices; n++) {
- // v = &_vertices[n];
- // for(e = v->leaving_edges; e; e = e->next_leaving_edge) {
- // d = v->distance_from_source + e->positivized_length;
- // tv = e->terminal_vertex;
- // if(d < tv->distance_from_source) {
- // tv->distance_from_source = d;
- // tv->best_pred_edge_to_source = e;
- // if(tv->iteration < iteration) {
- // _new_front[_new_front_size++] = tv;
- // tv->iteration = iteration;
- // }
- // }
- // }
- // }
-