equal
deleted
inserted
replaced
654 while ( _excess[_excess_nodes[next_node]] > 0 || |
654 while ( _excess[_excess_nodes[next_node]] > 0 || |
655 ++next_node < int(_excess_nodes.size()) ) |
655 ++next_node < int(_excess_nodes.size()) ) |
656 { |
656 { |
657 // Running Dijkstra |
657 // Running Dijkstra |
658 s = _excess_nodes[next_node]; |
658 s = _excess_nodes[next_node]; |
659 if ((t = _dijkstra->run(s)) == INVALID) break; |
659 if ((t = _dijkstra->run(s)) == INVALID) return false; |
660 |
660 |
661 // Augmenting along a shortest path from s to t |
661 // Augmenting along a shortest path from s to t |
662 Capacity d = std::min(_excess[s], -_excess[t]); |
662 Capacity d = std::min(_excess[s], -_excess[t]); |
663 Node u = t; |
663 Node u = t; |
664 Edge e; |
664 Edge e; |