equal
deleted
inserted
replaced
596 _curr_level = level[u].second; |
596 _curr_level = level[u].second; |
597 _curr_found = true; |
597 _curr_found = true; |
598 } |
598 } |
599 } |
599 } |
600 level[u] = Pair(i, j); |
600 level[u] = Pair(i, j); |
601 u = _gr.source(_data[u][j].pred); |
601 if (j != 0) { |
|
602 u = _gr.source(_data[u][j].pred); |
|
603 } |
602 } |
604 } |
603 } |
605 } |
604 |
606 |
605 // If at least one cycle is found, check the optimality condition |
607 // If at least one cycle is found, check the optimality condition |
606 LargeValue d; |
608 LargeValue d; |