class NoRewriteDisjunctionIntervalsSource extends DisjunctionIntervalsSource
DisjunctionIntervalsSource.DisjunctionIntervalIterator
subSources
Constructor and Description |
---|
NoRewriteDisjunctionIntervalsSource(java.util.Collection<IntervalsSource> subSources) |
Modifier and Type | Method and Description |
---|---|
java.util.Collection<IntervalsSource> |
pullUpDisjunctions()
Expert: return the set of disjunctions that make up this IntervalsSource
Most implementations can return
Collections.singleton(this) |
public NoRewriteDisjunctionIntervalsSource(java.util.Collection<IntervalsSource> subSources)
public java.util.Collection<IntervalsSource> pullUpDisjunctions()
IntervalsSource
Collections.singleton(this)
pullUpDisjunctions
in class DisjunctionIntervalsSource