Class Intervals

java.lang.Object
it.unimi.dsi.util.Intervals

public class Intervals extends Object
A class providing static methods and objects that do useful things with intervals.
See Also:
  • Field Details

    • EMPTY_ARRAY

      public static final Interval[] EMPTY_ARRAY
    • EMPTY_INTERVAL

      public static final Interval EMPTY_INTERVAL
      An empty (singleton) interval.
    • MINUS_INFINITY

      public static final Interval MINUS_INFINITY
      A singleton located at −∞.
    • STARTS_BEFORE_OR_PROLONGS

      public static final Comparator<Interval> STARTS_BEFORE_OR_PROLONGS
      A comparator between intervals defined as follows: [a..b] is less than [a'..b'] iff the first interval starts before or prolongs the second one, that is, iff a < a' or a=a' and b' < b.
    • ENDS_BEFORE_OR_IS_SUFFIX

      public static final Comparator<Interval> ENDS_BEFORE_OR_IS_SUFFIX
      A comparator between intervals defined as follows: [a..b] is less than [a'..b'] iff the first interval ends before or is a suffix of the second one, that is, iff b < b' or b=b' and a' < a.
    • STARTS_AFTER

      public static final Comparator<Interval> STARTS_AFTER
      A comparator between intervals defined as follows: [a..b] is less than [a'..b'] iff the first interval starts after the second one, that is, iff a' < a.
    • STARTS_BEFORE

      public static final Comparator<Interval> STARTS_BEFORE
      A comparator between intervals defined as follows: [a..b] is less than [a'..b'] iff the first interval starts before the second one, that is, iff a < a'.
    • ENDS_AFTER

      public static final Comparator<Interval> ENDS_AFTER
      A comparator between intervals defined as follows: [a..b] is less than [a'..b'] iff the first interval ends after the second one, that is, iff b' < b.
    • ENDS_BEFORE

      public static final Comparator<Interval> ENDS_BEFORE
      A comparator between intervals defined as follows: [a..b] is less than [a'..b'] iff the first interval ends before the second one, that is, iff b < b'.
    • LENGTH_COMPARATOR

      public static final Comparator<Interval> LENGTH_COMPARATOR
      A comparator between intervals based on their length.