Class RepeatingIntervalsSource


  • class RepeatingIntervalsSource
    extends IntervalsSource
    Generates an iterator that spans repeating instances of a sub-iterator, avoiding minimization. This is useful for repeated terms within an unordered interval, for example, ensuring that multiple iterators do not match on a single term. The generated iterators have a specialized IntervalIterator.width() implementation that sums up the widths of the individual sub-iterators, rather than just returning the full span of the iterator.