mCRL2
|
This is the complete list of members for mcrl2::utilities::execution_timer, including all inherited members.
execution_timer(const std::string &tool_name="", std::string const &filename="") | mcrl2::utilities::execution_timer | inline |
finish(const std::string &timing_name) | mcrl2::utilities::execution_timer | inline |
m_filename | mcrl2::utilities::execution_timer | protected |
m_timings | mcrl2::utilities::execution_timer | protected |
m_tool_name | mcrl2::utilities::execution_timer | protected |
report() | mcrl2::utilities::execution_timer | inline |
start(const std::string &timing_name) | mcrl2::utilities::execution_timer | inline |
write_report(std::ostream &s) | mcrl2::utilities::execution_timer | inlineprotected |
~execution_timer() | mcrl2::utilities::execution_timer | inline |