void Timer::interrupt(){ wait_ms_decrement(); Solenoid* solenoid = Solenoid::getInstance(); solenoid->interrupt(); ++ total; }