{
DeterministicVertex newSrc = DeterministicDirectedSparseGraph.copyVertex(newVertices,result,e.getSource()),
newDst = DeterministicDirectedSparseGraph.copyVertex(newVertices, result, e.getDest());
DirectedSparseEdge newEdge = new DirectedSparseEdge(newSrc,newDst);
newEdge.addUserDatum(JUConstants.LABEL, ((HashSet<String>)e.getUserDatum(JUConstants.LABEL)).clone(), UserData.SHARED);
result.addEdge(newEdge);
}
return result;
}
/** Returns an array of sequential numbers 0..howMany, randomly permuted.