SimpleWeightedGraph<String, DefaultWeightedEdge> g = new SimpleWeightedGraph<>(DefaultWeightedEdge.class);
String v1 = "v1";
String v2 = "v2";
String v3 = "v3";
// add the vertices
g.addVertex(v1);
g.addVertex(v2);
g.addVertex(v3);
// add edges to create a path
g.addEdge(v1, v2);
g.addEdge(v2, v3);
I use the JGraphT library to create a graph containing a path from v1 to v3 via v2. How can I check if v1 is connected with v3?