DefaultWeightedEdge addEdge(final Spot source, final Spot target, final double weight) { if (!graph.containsVertex(source)) { graph.addVertex(source); } if (!graph.containsVertex(target)) { graph.addVertex(target); } final DefaultWeightedEdge edge = graph.addEdge(source, target); graph.setEdgeWeight(edge, weight); return edge; }
void setEdgeWeight(final DefaultWeightedEdge edge, final double weight) { graph.setEdgeWeight(edge, weight); edgesModified.add(edge); }