An UndirectedGraph with a weight attached to each edge. The weights are often numbers, but need not be.
See also: WeightedDirectedGraph
CategoryDataStructure