Class Splitter.WeightedRange

  • Enclosing class:
    Splitter

    public static class Splitter.WeightedRange
    extends java.lang.Object
    • Constructor Detail

      • WeightedRange

        public WeightedRange​(double weight,
                             Range<Token> range)
    • Method Detail

      • totalTokens

        public java.math.BigInteger totalTokens​(Splitter splitter)
      • size

        public double size()
        A less precise version of the above, returning the size of the span as a double approximation.
      • left

        public Token left()
      • right

        public Token right()
      • weight

        public double weight()
      • toString

        public java.lang.String toString()
        Overrides:
        toString in class java.lang.Object
      • equals

        public boolean equals​(java.lang.Object o)
        Overrides:
        equals in class java.lang.Object
      • hashCode

        public int hashCode()
        Overrides:
        hashCode in class java.lang.Object