mcrl2::gui::qt::qt_tool

Include file:

#include "mcrl2/gui/qt_tool.h

class mcrl2::gui::qt::qt_tool

Protected attributes

std::string mcrl2::gui::qt::qt_tool::m_about_description

std::unique_ptr<QApplication> mcrl2::gui::qt::qt_tool::m_application

std::string mcrl2::gui::qt::qt_tool::m_author

std::string mcrl2::gui::qt::qt_tool::m_manual_url

std::string mcrl2::gui::qt::qt_tool::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()