newGraph.addVertex(newVertex);
newGraph.addEdge(new BoostRef<Edge, Object>(edge, EDGE, true), // use a new object with reference to the original edge
vertexMapping.get(graph.getSource(edge)), newVertex);
newGraph.addEdge(new BoostRef<Edge, Object>(edge, EDGE, true), // use a new object with reference to the original edge
newVertex, vertexMapping.get(graph.getDest(edge)));
}
Map<String, BoostFunction<? extends Object, Dimension,?>> typeDimensionGetter = new HashMap<String, BoostFunction<? extends Object, Dimension, ?>>();