STAMINA/STORM 0.1
Infinite state-space truncator which generates a probability within a window
MainWindow.h
1#ifndef STAMINA_MAIN_WINDOW_H
2#define STAMINA_MAIN_WINDOW_H
3
4#include <KXmlGuiWindow>
5#include <kfilecustomdialog.h>
6
7#include "ui/ui_MainWindow.h"
8
9#include "About.h"
10#include "Preferences.h"
11#include "PropertyWizard.h"
12
13#include "addons/CodeEditor.h"
14
15namespace stamina {
16 namespace gui {
17
18 class MainWindow : public KXmlGuiWindow {
19 Q_OBJECT
20
21 public:
22 MainWindow(QWidget * parent = 0);
23
24 private:
25 void saveToActiveModelFile();
26 void saveToActivePropertiesFile();
27 void setupActions();
28 bool unsavedChangesModel;
29 bool unsavedChangesProperty;
30 // UI
32 // Showable dialogs
33 About * about;
34 Preferences * prefs;
35 PropertyWizard * propWizard;
36 KFileCustomDialog * fd;
37 QString activeModelFile;
38 QString activePropertiesFile;
39 QString baseWindowTitle;
40 bool modelWasBuilt;
41
42 private slots:
43 void showPreferences();
44 void openModelFile();
45 void openFromAcceptedPath();
46 void saveModelFile();
47 void saveModelFileAs();
48 void downloadFinished(KJob * job);
49 void showAbout();
50 void setModifiedModel();
51 void setModifiedProperties();
52 void setActiveModelFileAndSave();
53 void onClose();
54 void showPropertyWizard();
55 };
56 } // namespace gui
57} // namespace stamina
58#endif // STAMINA_MAIN_WINDOW_H
Definition: ui_MainWindow.h:1204
Definition: About.h:11
Definition: MainWindow.h:18
Definition: Preferences.h:90
Definition: PropertyWizard.h:54
Definition: ExplicitTruncatedModelBuilder.cpp:40