equal
deleted
inserted
replaced
934 // Copy the graph |
934 // Copy the graph |
935 int i = 0; |
935 int i = 0; |
936 for (NodeIt n(_graph); n != INVALID; ++n, ++i) { |
936 for (NodeIt n(_graph); n != INVALID; ++n, ++i) { |
937 _node_id[n] = i; |
937 _node_id[n] = i; |
938 } |
938 } |
939 if (_arc_mixing) { |
939 if (_arc_mixing && _node_num > 1) { |
940 // Store the arcs in a mixed order |
940 // Store the arcs in a mixed order |
941 const int skip = std::max(_arc_num / _node_num, 3); |
941 const int skip = std::max(_arc_num / _node_num, 3); |
942 int i = 0, j = 0; |
942 int i = 0, j = 0; |
943 for (ArcIt a(_graph); a != INVALID; ++a) { |
943 for (ArcIt a(_graph); a != INVALID; ++a) { |
944 _arc_id[a] = i; |
944 _arc_id[a] = i; |