equal
deleted
inserted
replaced
875 if(_enableParallel) { |
875 if(_enableParallel) { |
876 std::vector<Edge> el; |
876 std::vector<Edge> el; |
877 for(EdgeIt e(g);e!=INVALID;++e) |
877 for(EdgeIt e(g);e!=INVALID;++e) |
878 if((!_undir||g.source(e)<g.target(e))&&_edgeWidths[e]>0) |
878 if((!_undir||g.source(e)<g.target(e))&&_edgeWidths[e]>0) |
879 el.push_back(e); |
879 el.push_back(e); |
880 sort(el.begin(),el.end(),edgeLess(g)); |
880 std::sort(el.begin(),el.end(),edgeLess(g)); |
881 |
881 |
882 typename std::vector<Edge>::iterator j; |
882 typename std::vector<Edge>::iterator j; |
883 for(typename std::vector<Edge>::iterator i=el.begin();i!=el.end();i=j) { |
883 for(typename std::vector<Edge>::iterator i=el.begin();i!=el.end();i=j) { |
884 for(j=i+1;j!=el.end()&&isParallel(*i,*j);++j) ; |
884 for(j=i+1;j!=el.end()&&isParallel(*i,*j);++j) ; |
885 |
885 |