public class Intervals
extends java.lang.Object
Interval
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.

public static final Interval[] EMPTY_ARRAY
public static final Interval EMPTY_INTERVAL
public static final Interval MINUS_INFINITY
public static final java.util.Comparator<Interval> STARTS_BEFORE_OR_PROLONGS
public static final java.util.Comparator<Interval> ENDS_BEFORE_OR_IS_SUFFIX
public static final java.util.Comparator<Interval> STARTS_AFTER
public static final java.util.Comparator<Interval> STARTS_BEFORE
public static final java.util.Comparator<Interval> ENDS_AFTER
public static final java.util.Comparator<Interval> ENDS_BEFORE
public static final java.util.Comparator<Interval> LENGTH_COMPARATOR