/src/main/java/net/finmath/time/TimeDiscretizationFromArray.java
Math.min( timeTickSize, that.getTickSize( ) ) ) ; Stream.concat( Arrays.stream( timeDiscretization).boxed( ) , Arrays.stream( that.getAsDoubleArray( ) ).boxed( ) ) ,
Stream.concat ( Arrays.stream ( timeDiscretization ) .boxed ( ) , Arrays.stream ( that.getAsDoubleArray ( ) ) .boxed ( ) ) , Math.min ( timeTickSize, that.getTickSize ( ) ) ) ;
public TimeDiscretization filter(DoublePredicate timesToKeep) { return new TimeDiscretizationFromArray(Arrays.stream(timeDiscretization).filter(timesToKeep), getTickSize()); } @Override public TimeDiscretization union(final TimeDiscretization that) { return new TimeDiscretizationFromArray( <extra_id_0> } @Override public TimeDiscretization intersect(final TimeDiscretization that) { final Set<Double> intersectionSet = Arrays.stream(timeDiscretization).boxed().collect(Collectors.toSet()); intersectionSet.retainAll(that.getAsArrayList()); return new TimeDiscretizationFromArray(intersectionSet, Math.max(timeTickSize, that.getTickSize()));