Package it.unimi.dsi.util
Class Intervals
- java.lang.Object
-
- it.unimi.dsi.util.Intervals
-
public class Intervals extends java.lang.Object
A class providing static methods and objects that do useful things with intervals.- See Also:
Interval
-
-
Field Summary
Fields Modifier and Type Field Description static Interval[]
EMPTY_ARRAY
static Interval
EMPTY_INTERVAL
An empty (singleton) interval.static java.util.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.static java.util.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'.static java.util.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.static java.util.Comparator<Interval>
LENGTH_COMPARATOR
A comparator between intervals based on their length.static Interval
MINUS_INFINITY
A singleton located at −∞.static java.util.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.static java.util.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'.static java.util.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.
-
-
-
Field Detail
-
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 java.util.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 java.util.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 java.util.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 java.util.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 java.util.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 java.util.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 java.util.Comparator<Interval> LENGTH_COMPARATOR
A comparator between intervals based on their length.
-
-