equal
deleted
inserted
replaced
377 } |
377 } |
378 |
378 |
379 |
379 |
380 private: |
380 private: |
381 |
381 |
382 int push(const Node w, VecStack& active) { |
382 int push(Node w, VecStack& active) { |
383 |
383 |
384 int lev=level[w]; |
384 int lev=level[w]; |
385 Num exc=excess[w]; |
385 Num exc=excess[w]; |
386 int newlevel=n; //bound on the next level of w |
386 int newlevel=n; //bound on the next level of w |
387 |
387 |
578 } |
578 } |
579 } //preflowPreproc |
579 } //preflowPreproc |
580 |
580 |
581 |
581 |
582 |
582 |
583 void relabel( const Node w, int newlevel, VecStack& active, |
583 void relabel(Node w, int newlevel, VecStack& active, |
584 VecNode& level_list, NNMap& left, |
584 VecNode& level_list, NNMap& left, |
585 NNMap& right, int& b, int& k, const bool what_heur ) { |
585 NNMap& right, int& b, int& k, const bool what_heur ) { |
586 |
586 |
587 Num lev=level[w]; |
587 Num lev=level[w]; |
588 |
588 |
589 Node right_n=right[w]; |
589 Node right_n=right[w]; |
590 Node left_n=left[w]; |
590 Node left_n=left[w]; |