322323324325326327328
/** * Same as for {@link #convertTime(double)} */ private LogicalTimeInterval convertInterval(double time) { // PORTICO SPECIFIC!! return new DoubleTimeInterval(time); }
171172173174175176177
* Same as for {@link #convertTime(double)} */ private LogicalTimeInterval convertInterval( double time ) { // PORTICO SPECIFIC!! return new DoubleTimeInterval( time ); }