#include <qcombobox.h>#include <qlineedit.h>#include <qmessagebox.h>#include <qpushbutton.h>#include <qstatusbar.h>#include <qstring.h>#include <qtextedit.h>#include <qwidgetstack.h>#include "propositiongraph.hpp"#include "parsers/graphml.hpp"#include "parsers/dot.hpp"#include "parsers/cat.hpp"#include "edgelist.hpp"#include "gui/buildpropositions.hpp"#include "const.hpp"#include "utils.hpp"Include dependency graph for propositiongraph.cpp:
Go to the source code of this file.
