The GUI library
The GUI library contains basic functionality for the graphical tools in the toolset. The toolset is built using the Qt framework (https://www.qt.io). The functionality of the GUI library resides in the namespace mcrl2::gui and mcrl2::gui::qt.
The qt_tool class
The main class in the GUI library is the qt_tool class that allows to construct a new graphical tool efficiently, using the tool construction framework of the mCRL2 toolset.