/src/main/java/net/finmath/time/TimeDiscretizationFromArray.java
this( times.mapToDouble( Double::doubleValue) , timeTickSize, false) ;
this ( times.mapToDouble ( Double::doubleValue ) , timeTickSizeDefault, false ) ;
this(times.mapToDouble(Double::doubleValue), tickSize, allowDuplicates); } public TimeDiscretizationFromArray(final Stream<Double> times, final double tickSize) { this(times.mapToDouble(Double::doubleValue), tickSize, false); } public TimeDiscretizationFromArray(final Stream<Double> times) { <extra_id_0> } public TimeDiscretizationFromArray(final Iterable<Double> times, final double tickSize, final boolean allowDuplicates) { this(StreamSupport.stream(times.spliterator(), false), tickSize, allowDuplicates); } public TimeDiscretizationFromArray(final Iterable<Double> times, final double tickSize) { this(times, tickSize, false);