| 191 | }; |
| 192 | |
| 193 | void reportFactorClock(HighsTimerClock& factor_timer_clock) { |
| 194 | reportFactorLevel0Clock(factor_timer_clock); |
| 195 | reportFactorLevel1Clock(factor_timer_clock); |
| 196 | reportFactorLevel2Clock(factor_timer_clock); |
| 197 | } |
| 198 | }; |
| 199 | #endif /* UTIL_FACTORTIMER_H_ */ |