- while(nb_without_predecessors > 0) {
- new_nb_without_predecessors = 0;
- for(int l = 0; l < nb_without_predecessors; l++) {
- v = _vertices + without_predecessors[l];
+ while(already_processed < front) {
+ fresh = front;
+ while(already_processed < front) {
+ v = *(already_processed++);