129130131132133134135136137138139
} } else { IntIterator iter = vertices.iterator(); while (iter.hasNext()) { int v = iter.nextInt(); if (edges.contains(v)) copy.edges.add(v); } } return copy;