The GUI library

The GUI library contains basic functionality for the graphical tools in the toolset. The toolset is built using the Qt framework ( 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.