mcrl2::gui::qt::LogRelay

Include file:

#include "mcrl2/gui/logwidget.h
class mcrl2::gui::qt::LogRelay

Public member functions

void output(const log_level_t level, const std::string &hint, const time_t timestamp, const std::string &msg, const bool print_time_information)

signal

logMessage