Class GreedyMultiplicativeSpanner.WeightedSpannerAlgorithm