newDst = DeterministicDirectedSparseGraph.copyVertex(newVertices, result, e.getDest());
DirectedSparseEdge newEdge = new DirectedSparseEdge(newSrc,newDst);
Set<Label> origLabels = (Set<Label>)e.getUserDatum(JUConstants.LABEL);
TreeSet<Label> copiedLabels = new TreeSet<Label>();copiedLabels.addAll(origLabels);
newEdge.addUserDatum(JUConstants.LABEL, copiedLabels, UserData.SHARED);
result.addEdge(newEdge);
}
return result;
}
/** Returns an array of sequential numbers 0..howMany, randomly permuted.