equal
deleted
inserted
replaced
927 // Copy the graph |
927 // Copy the graph |
928 int i = 0; |
928 int i = 0; |
929 for (NodeIt n(_graph); n != INVALID; ++n, ++i) { |
929 for (NodeIt n(_graph); n != INVALID; ++n, ++i) { |
930 _node_id[n] = i; |
930 _node_id[n] = i; |
931 } |
931 } |
932 if (_arc_mixing) { |
932 if (_arc_mixing && _node_num > 1) { |
933 // Store the arcs in a mixed order |
933 // Store the arcs in a mixed order |
934 const int skip = std::max(_arc_num / _node_num, 3); |
934 const int skip = std::max(_arc_num / _node_num, 3); |
935 int i = 0, j = 0; |
935 int i = 0, j = 0; |
936 for (ArcIt a(_graph); a != INVALID; ++a) { |
936 for (ArcIt a(_graph); a != INVALID; ++a) { |
937 _arc_id[a] = i; |
937 _arc_id[a] = i; |