mcrl2::gui::qt::qt_tool

Include file:

#include "mcrl2/gui/qt_tool.h
class mcrl2::gui::qt::qt_tool

Protected attributes

std::string m_about_description
std::unique_ptr<QApplication> m_application
std::string m_author
std::string m_manual_url
std::string m_name

Public member functions

int execute(int &argc, char **argv)
bool pre_run(int &argc, char **argv)
qt_tool(const std::string &name, const std::string &author, const std::string &what_is, const std::string &tool_description, const std::string &about_description, const std::string &manual_url, std::string known_issues = "")
bool show_main_window(QMainWindow &window)
virtual ~qt_tool()