/src/main/java/net/finmath/time/TimeDiscretizationFromArray.java
timeDiscretization = times.sorted( ) .sorted( ) ;
timeDiscretization = times.sorted ( ) .toArray ( ) ;
public TimeDiscretizationFromArray(DoubleStream times, final double tickSize, final boolean allowDuplicates) { timeTickSize = tickSize; times = times.map(this::roundToTimeTickSize); if(!allowDuplicates) { times = times.distinct(); } <extra_id_0> } public TimeDiscretizationFromArray(final DoubleStream times, final double tickSize) { this(times, tickSize, false); } public TimeDiscretizationFromArray(final DoubleStream times, final boolean allowDuplicates) { this(times, timeTickSizeDefault, allowDuplicates);