STAMINA/STORM
0.1
Infinite state-space truncator which generates a probability within a window
src
stamina
gui
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
15
namespace
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
31
Ui::MainWindow
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
Ui::MainWindow
Definition:
ui_MainWindow.h:1204
stamina::gui::About
Definition:
About.h:11
stamina::gui::MainWindow
Definition:
MainWindow.h:18
stamina::gui::Preferences
Definition:
Preferences.h:90
stamina::gui::PropertyWizard
Definition:
PropertyWizard.h:54
stamina
Definition:
ExplicitTruncatedModelBuilder.cpp:40
Generated by
1.9.3