ProximityGraphGenerator now translates a double Vertex vector into a list of Vertex and Edge objects.