double TimeUnitManager::inverseTimeScaleFactor() const { return 1.0 / timeScaleFactor(); }
void TimeUnitManager::scaleTimeOptions(Options *options) const { double factor = timeScaleFactor(); TimeOptionScaler<DoubleOptionInfo>(factor).visitSubSection(options); TimeOptionScaler<FloatOptionInfo>(factor).visitSubSection(options); }