+
+ // 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;
+ // }
+ // }
+ // }
+ // }
+