class ContainedByIntervalsSource extends ConjunctionIntervalsSource
Modifier and Type | Field and Description |
---|---|
private IntervalsSource |
big |
private IntervalsSource |
small |
isMinimizing, subSources
Modifier | Constructor and Description |
---|---|
private |
ContainedByIntervalsSource(IntervalsSource small,
IntervalsSource big) |
Modifier and Type | Method and Description |
---|---|
(package private) static IntervalsSource |
build(IntervalsSource small,
IntervalsSource big) |
protected IntervalIterator |
combine(java.util.List<IntervalIterator> iterators) |
boolean |
equals(java.lang.Object other) |
int |
hashCode() |
int |
minExtent()
Return the minimum possible width of an interval returned by this source
|
java.util.Collection<IntervalsSource> |
pullUpDisjunctions()
Expert: return the set of disjunctions that make up this IntervalsSource
Most implementations can return
Collections.singleton(this) |
java.lang.String |
toString() |
intervals, matches, visit
private final IntervalsSource small
private final IntervalsSource big
private ContainedByIntervalsSource(IntervalsSource small, IntervalsSource big)
static IntervalsSource build(IntervalsSource small, IntervalsSource big)
protected IntervalIterator combine(java.util.List<IntervalIterator> iterators)
combine
in class ConjunctionIntervalsSource
public int minExtent()
IntervalsSource
minExtent
in class IntervalsSource
public java.util.Collection<IntervalsSource> pullUpDisjunctions()
IntervalsSource
Collections.singleton(this)
pullUpDisjunctions
in class IntervalsSource
public int hashCode()
hashCode
in class IntervalsSource
public boolean equals(java.lang.Object other)
equals
in class IntervalsSource
public java.lang.String toString()
toString
in class IntervalsSource