org.jgrapht.graph

Class DefaultWeightedEdge