Include file:
#include "mcrl2/utilities/logger.h
mcrl2::log::
formatter_interface
¶format
(const log_level_t level, const std::string &hint, const time_t timestamp, const std::string &msg, const bool print_time_information)Format msg,.
Parameters:
Returns: The formatted message (msg)