public class IntervalUtils
extends java.lang.Object
Modifier and Type | Class and Description |
---|---|
static class |
IntervalUtils.IntervalEndTimestampComparator
Comparator that sorts Intervals based on their end timestamps.
|
static class |
IntervalUtils.IntervalStartAndEndTimestampComparator
Comparator that sorts Intervals based on their start timestamps, and then
on their end timestamps (
IntervalUtils.IntervalEndTimestampComparator ). |
static class |
IntervalUtils.IntervalStartTimestampComparator
Comparator that sorts Intervals based on their start timestamps.
|
Constructor and Description |
---|
IntervalUtils() |
Modifier and Type | Method and Description |
---|---|
static IntervalList |
intersect_all(java.util.List<IntervalList> L)
Computes the list of maximal intervals I such that I is the intersection
of the lists of intervals of list L.
|
protected static Interval |
intersect(Interval i,
Interval j)
Computes the interval x representing the intersection between two
intervals i and j.
|
protected static IntervalList |
intersect(IntervalList L1,
IntervalList L2)
Computes the list of maximal intervals I such that I is the intersection
between the two lists of intervals L1 and L2.
|
protected static IntervalList |
intersect(IntervalList head,
java.util.List<IntervalList> tail)
Computes the list of maximal intervals I such that I is the intersection
between the head and every element of the tail.
|
protected static IntervalList |
minus(IntervalList I,
IntervalList J)
Computes the list of maximal intervals M such that M = I / J.
|
static IntervalList |
relative_complement_all(IntervalList Iprime,
java.util.List<IntervalList> L)
Computes the list of maximal intervals I such that I is the relative
complement of the list of maximal intervals J with respect to the maximal
intervals of list L.
|
protected static IntervalList |
remove_empty_intervals(IntervalList L)
Computes the list I produced by removing empty intervals from the list L.
|
static Interval |
textToInterval(java.lang.String text) |
static IntervalList |
textToIntervalList(java.lang.String text) |
static java.util.List<IntervalList> |
textToListOfIntervalList(java.lang.String text) |
static IntervalList |
union_all(java.util.List<IntervalList> L)
Computes the list I of maximal intervals produced by the union of the
lists of maximal intervals of list L.
|
protected static IntervalList remove_empty_intervals(IntervalList L)
L
- public static IntervalList union_all(java.util.List<IntervalList> L)
L
- public static IntervalList intersect_all(java.util.List<IntervalList> L)
L
- protected static IntervalList intersect(IntervalList head, java.util.List<IntervalList> tail)
head
- tail
- protected static IntervalList intersect(IntervalList L1, IntervalList L2)
L1
- L2
- protected static Interval intersect(Interval i, Interval j)
i
- j
- public static IntervalList relative_complement_all(IntervalList Iprime, java.util.List<IntervalList> L)
Iprime
- L
- protected static IntervalList minus(IntervalList I, IntervalList J)
List<<IntervalList>
.I
- J
- public static Interval textToInterval(java.lang.String text)
public static IntervalList textToIntervalList(java.lang.String text)
public static java.util.List<IntervalList> textToListOfIntervalList(java.lang.String text)