void pause(double t) { if (t == -1) { std::cout << "(Press enter to continue)" << std::endl; getchar(); } else { Real_Timer T; T.start(); while (T.get_time() < t); } }