equal
deleted
inserted
replaced
903 ///level to the under the max level value. The node will be never |
903 ///level to the under the max level value. The node will be never |
904 ///more activated because the push operation from the maximum |
904 ///more activated because the push operation from the maximum |
905 ///level is forbidden in the push-relabel algorithms. The node |
905 ///level is forbidden in the push-relabel algorithms. The node |
906 ///should be lifted previously to the top level. |
906 ///should be lifted previously to the top level. |
907 void markToBottom(Item i) { |
907 void markToBottom(Item i) { |
908 _level[i] = _max_level - 1; |
908 _level.set(i, _max_level - 1); |
909 } |
909 } |
910 |
910 |
911 ///Lift all nodes on and above a level to the top (and deactivate them). |
911 ///Lift all nodes on and above a level to the top (and deactivate them). |
912 |
912 |
913 ///This function lifts all nodes on and above level \c l to \c |
913 ///This function lifts all nodes on and above level \c l to \c |