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.