private static class FilteredIntervalsSource.MaxWidth extends FilteredIntervalsSource
Modifier and Type | Field and Description |
---|---|
private int |
maxWidth |
in
Constructor and Description |
---|
MaxWidth(IntervalsSource in,
int maxWidth) |
Modifier and Type | Method and Description |
---|---|
protected boolean |
accept(IntervalIterator it) |
java.util.Collection<IntervalsSource> |
pullUpDisjunctions()
Expert: return the set of disjunctions that make up this IntervalsSource
Most implementations can return
Collections.singleton(this) |
MaxWidth(IntervalsSource in, int maxWidth)
protected boolean accept(IntervalIterator it)
accept
in class FilteredIntervalsSource
false
if the current interval should be filtered outpublic java.util.Collection<IntervalsSource> pullUpDisjunctions()
IntervalsSource
Collections.singleton(this)
pullUpDisjunctions
in class FilteredIntervalsSource