MainWindow Class Reference

Primary window: stages Structure / Judgments / Synthesis. More...

#include <mainwindow.hpp>

Inherits QMainWindow.

Detailed Description

Primary window: stages Structure / Judgments / Synthesis.

---

The documentation for this class was generated from the following file:

• gui/mainwindow.hpp