final class Disjunctions
extends java.lang.Object
Constructor and Description |
---|
Disjunctions() |
Modifier and Type | Method and Description |
---|---|
static java.util.List<IntervalsSource> |
pullUp(IntervalsSource source,
java.util.function.Function<IntervalsSource,IntervalsSource> function) |
static java.util.List<IntervalsSource> |
pullUp(java.util.List<IntervalsSource> sources,
java.util.function.Function<java.util.List<IntervalsSource>,IntervalsSource> function) |
private static java.util.List<IntervalsSource> |
splitDisjunctions(IntervalsSource source) |
public static java.util.List<IntervalsSource> pullUp(java.util.List<IntervalsSource> sources, java.util.function.Function<java.util.List<IntervalsSource>,IntervalsSource> function)
public static java.util.List<IntervalsSource> pullUp(IntervalsSource source, java.util.function.Function<IntervalsSource,IntervalsSource> function)
private static java.util.List<IntervalsSource> splitDisjunctions(IntervalsSource source)