Weighted Undirected Graph

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