163164165166167168169170171172173
} else { IntIterator iter = vertices.iterator(); while (iter.hasNext()) { int v = iter.nextInt(); if (edges.containsKey(v)) copy.edges.put(v, edges.get(v)); } } return copy;