extern double Hz; ///< Hz
extern double kHz; ///< kHz
extern double MHz; ///< MHz
-extern double GHZ; ///< GHz
+extern double GHz; ///< GHz
/** @}*/
} // namespace Float
} // namespace Int
} // namespace SimClock
/** @} */
+
+void fixClockFrequency();
+bool clockFrequencyFixed();
+
void setClockFrequency(Tick ticksPerSecond);
+Tick getClockFrequency(); // Ticks per second.
void setOutputDir(const std::string &dir);