STAMINA/STORM 0.1
Infinite state-space truncator which generates a probability within a window
ui_MainWindow.h
1/********************************************************************************
2** Form generated from reading UI file 'MainWindow.ui'
3**
4** Created by: Qt User Interface Compiler version 5.15.5
5**
6** WARNING! All changes made in this file will be lost when recompiling UI file!
7********************************************************************************/
8
9#ifndef MAINWINDOW_H
10#define MAINWINDOW_H
11
12#include <QtCore/QVariant>
13#include <QtGui/QIcon>
14#include <QtWidgets/QAction>
15#include <QtWidgets/QApplication>
16#include <QtWidgets/QCheckBox>
17#include <QtWidgets/QGroupBox>
18#include <QtWidgets/QHBoxLayout>
19#include <QtWidgets/QHeaderView>
20#include <QtWidgets/QLabel>
21#include <QtWidgets/QMainWindow>
22#include <QtWidgets/QMenu>
23#include <QtWidgets/QMenuBar>
24#include <QtWidgets/QPlainTextEdit>
25#include <QtWidgets/QPushButton>
26#include <QtWidgets/QSpacerItem>
27#include <QtWidgets/QSplitter>
28#include <QtWidgets/QStatusBar>
29#include <QtWidgets/QTabWidget>
30#include <QtWidgets/QTableWidget>
31#include <QtWidgets/QToolBar>
32#include <QtWidgets/QTreeWidget>
33#include <QtWidgets/QVBoxLayout>
34#include <QtWidgets/QWidget>
35#include "../addons/CodeEditor.h"
36
37QT_BEGIN_NAMESPACE
38
39class Ui_MainWindow
40{
41public:
42 QAction *actionProperties_File;
43 QAction *actionPRISM_Language;
44 QAction *actionJANI_Language;
45 QAction *actionOpen;
46 QAction *actionSave;
47 QAction *actionSave_As;
48 QAction *actionExport;
49 QAction *actionCut;
50 QAction *actionCopy;
51 QAction *actionPaste;
52 QAction *actionModule_2;
53 QAction *actionUnbounded_Variable;
54 QAction *actionBounded_Variable;
55 QAction *actionFind;
56 QAction *actionReplace;
57 QAction *actionUndo;
58 QAction *actionRedo;
59 QAction *actionPreferences;
60 QAction *actionClose;
61 QAction *actionQuit;
62 QAction *actionModel_Editor;
63 QAction *actionProperties_Editor;
64 QAction *actionResults_Viewer;
65 QAction *actionZoom_In;
66 QAction *actionZoom_Out;
67 QAction *actionReset_Text_Size;
68 QAction *actionCheck_Current_Property;
69 QAction *actionCheck_All_Properties;
70 QAction *actionCheck_Specific_Properties;
71 QAction *actionStorm_Sylvan;
72 QAction *actionModel_Checker_Preferences;
73 QAction *actionAbout_STORM;
74 QAction *actionSTAMINA_Iterative;
75 QAction *actionSTAMINA_Priority;
76 QAction *actionSTORM_Explicit;
77 QAction *actionAbout_STAMINA;
78 QAction *actionDocumentation;
79 QAction *actionReport_A_Bug;
80 QAction *actionAbout_STORM_2;
81 QAction *actionAbout_STAMINA_2;
82 QAction *actionAbout_Qt;
83 QAction *actionAbout_KF5;
84 QAction *actionShow_toolbar;
85 QAction *actionShow_Statusbar;
86 QAction *actionLock_Toolbar;
87 QAction *actionTop;
88 QAction *actionBottom;
89 QAction *actionLeft;
90 QAction *actionRight;
91 QAction *actionForever_Property;
92 QAction *actionUntil_Property;
93 QAction *actionBounded_Until_Property;
94 QWidget *centralwidget;
95 QHBoxLayout *horizontalLayout;
96 QTabWidget *mainTabs;
97 QWidget *modelTab;
98 QHBoxLayout *horizontalLayout_3;
99 QSplitter *splitter;
100 QWidget *layoutWidget;
101 QVBoxLayout *modelLeftVBox;
102 QTreeWidget *modelInfoTree;
103 QGroupBox *modelInfoVBox;
104 QVBoxLayout *verticalLayout_3;
105 QHBoxLayout *statesHBox;
106 QLabel *statesTitleLabel;
107 QLabel *statesLabel;
108 QHBoxLayout *initStatesHBox;
109 QLabel *initStatesTitleLabel;
110 QLabel *initStatesLabel;
111 QHBoxLayout *transitionsHBox;
112 QLabel *transitionsTitleLabel;
113 QLabel *transitionsLabel;
114 QPushButton *buildModelButton;
115 stamina::gui::addons::CodeEditor *modelFile;
116 QWidget *propertyTab;
117 QHBoxLayout *horizontalLayout_4;
118 QSplitter *splitter_4;
119 QSplitter *splitter_2;
120 QGroupBox *constantsGroup;
121 QVBoxLayout *verticalLayout_8;
122 QTableWidget *constantsTable;
123 QHBoxLayout *constantsButtonGroup;
124 QPushButton *addConstantButton;
125 QPushButton *deleteConstantButton;
126 QSpacerItem *horizontalSpacer_2;
127 QGroupBox *labelGroupBox;
128 QVBoxLayout *verticalLayout_2;
129 QTableWidget *labelTabel;
130 QHBoxLayout *horizontalLayout_2;
131 QPushButton *pushButton;
132 QPushButton *pushButton_2;
133 QSpacerItem *horizontalSpacer_3;
134 QWidget *layoutWidget1;
135 QVBoxLayout *propertySideVBox;
136 stamina::gui::addons::CodeEditor *propertiesEditor;
137 QHBoxLayout *propertyButtons;
138 QPushButton *propertyWizardButton;
139 QPushButton *deletePropertyButton;
140 QSpacerItem *horizontalSpacer;
141 QWidget *resultsTab;
142 QHBoxLayout *horizontalLayout_5;
143 QSplitter *splitter_5;
144 QSplitter *splitter_3;
145 QGroupBox *counterExamplesGroup;
146 QHBoxLayout *horizontalLayout_10;
147 QTableWidget *counterExamplesTable;
148 QGroupBox *earlyTerminatedGroup;
149 QVBoxLayout *verticalLayout_7;
150 QTableWidget *earlyTerminatedTable;
151 QTableWidget *simulationResultsTable;
152 QWidget *logTab;
153 QVBoxLayout *verticalLayout;
154 QPlainTextEdit *logOutput;
155 QCheckBox *showStdOut;
156 QCheckBox *showStdErr;
157 QMenuBar *menubar;
158 QMenu *menuFile;
159 QMenu *menuNew;
160 QMenu *menuModel_File;
161 QMenu *menuEdit;
162 QMenu *menuInsert;
163 QMenu *menuModel;
164 QMenu *menuProperties;
165 QMenu *menuView;
166 QMenu *menuZoom;
167 QMenu *menuToolbar_Position;
168 QMenu *menuHelp;
169 QMenu *menuModel_Checking_Engine;
170 QMenu *menuModel_Building_Engine;
171 QMenu *menuHelp_2;
172 QStatusBar *statusbar;
173 QToolBar *toolBar;
174
175 void setupUi(QMainWindow *MainWindow)
176 {
177 if (MainWindow->objectName().isEmpty())
178 MainWindow->setObjectName(QString::fromUtf8("MainWindow"));
179 MainWindow->resize(1624, 951);
180 QIcon icon;
181 icon.addFile(QString::fromUtf8(":/images/staminaIcon.svg"), QSize(), QIcon::Normal, QIcon::Off);
182 MainWindow->setWindowIcon(icon);
183 actionProperties_File = new QAction(MainWindow);
184 actionProperties_File->setObjectName(QString::fromUtf8("actionProperties_File"));
185 QIcon icon1;
186 QString iconThemeName = QString::fromUtf8("document-new");
187 if (QIcon::hasThemeIcon(iconThemeName)) {
188 icon1 = QIcon::fromTheme(iconThemeName);
189 } else {
190 icon1.addFile(QString::fromUtf8("."), QSize(), QIcon::Normal, QIcon::Off);
191 }
192 actionProperties_File->setIcon(icon1);
193 actionPRISM_Language = new QAction(MainWindow);
194 actionPRISM_Language->setObjectName(QString::fromUtf8("actionPRISM_Language"));
195 actionPRISM_Language->setIcon(icon1);
196 actionJANI_Language = new QAction(MainWindow);
197 actionJANI_Language->setObjectName(QString::fromUtf8("actionJANI_Language"));
198 actionJANI_Language->setIcon(icon1);
199 actionOpen = new QAction(MainWindow);
200 actionOpen->setObjectName(QString::fromUtf8("actionOpen"));
201 QIcon icon2;
202 iconThemeName = QString::fromUtf8("document-open");
203 if (QIcon::hasThemeIcon(iconThemeName)) {
204 icon2 = QIcon::fromTheme(iconThemeName);
205 } else {
206 icon2.addFile(QString::fromUtf8("."), QSize(), QIcon::Normal, QIcon::Off);
207 }
208 actionOpen->setIcon(icon2);
209 actionSave = new QAction(MainWindow);
210 actionSave->setObjectName(QString::fromUtf8("actionSave"));
211 QIcon icon3;
212 iconThemeName = QString::fromUtf8("document-save");
213 if (QIcon::hasThemeIcon(iconThemeName)) {
214 icon3 = QIcon::fromTheme(iconThemeName);
215 } else {
216 icon3.addFile(QString::fromUtf8("."), QSize(), QIcon::Normal, QIcon::Off);
217 }
218 actionSave->setIcon(icon3);
219 actionSave_As = new QAction(MainWindow);
220 actionSave_As->setObjectName(QString::fromUtf8("actionSave_As"));
221 QIcon icon4;
222 iconThemeName = QString::fromUtf8("document-save-as");
223 if (QIcon::hasThemeIcon(iconThemeName)) {
224 icon4 = QIcon::fromTheme(iconThemeName);
225 } else {
226 icon4.addFile(QString::fromUtf8("."), QSize(), QIcon::Normal, QIcon::Off);
227 }
228 actionSave_As->setIcon(icon4);
229 actionExport = new QAction(MainWindow);
230 actionExport->setObjectName(QString::fromUtf8("actionExport"));
231 QIcon icon5;
232 iconThemeName = QString::fromUtf8("document-export");
233 if (QIcon::hasThemeIcon(iconThemeName)) {
234 icon5 = QIcon::fromTheme(iconThemeName);
235 } else {
236 icon5.addFile(QString::fromUtf8("."), QSize(), QIcon::Normal, QIcon::Off);
237 }
238 actionExport->setIcon(icon5);
239 actionCut = new QAction(MainWindow);
240 actionCut->setObjectName(QString::fromUtf8("actionCut"));
241 QIcon icon6;
242 iconThemeName = QString::fromUtf8("edit-cut");
243 if (QIcon::hasThemeIcon(iconThemeName)) {
244 icon6 = QIcon::fromTheme(iconThemeName);
245 } else {
246 icon6.addFile(QString::fromUtf8("."), QSize(), QIcon::Normal, QIcon::Off);
247 }
248 actionCut->setIcon(icon6);
249 actionCopy = new QAction(MainWindow);
250 actionCopy->setObjectName(QString::fromUtf8("actionCopy"));
251 QIcon icon7;
252 iconThemeName = QString::fromUtf8("edit-copy");
253 if (QIcon::hasThemeIcon(iconThemeName)) {
254 icon7 = QIcon::fromTheme(iconThemeName);
255 } else {
256 icon7.addFile(QString::fromUtf8("."), QSize(), QIcon::Normal, QIcon::Off);
257 }
258 actionCopy->setIcon(icon7);
259 actionPaste = new QAction(MainWindow);
260 actionPaste->setObjectName(QString::fromUtf8("actionPaste"));
261 QIcon icon8;
262 iconThemeName = QString::fromUtf8("edit-paste");
263 if (QIcon::hasThemeIcon(iconThemeName)) {
264 icon8 = QIcon::fromTheme(iconThemeName);
265 } else {
266 icon8.addFile(QString::fromUtf8("."), QSize(), QIcon::Normal, QIcon::Off);
267 }
268 actionPaste->setIcon(icon8);
269 actionModule_2 = new QAction(MainWindow);
270 actionModule_2->setObjectName(QString::fromUtf8("actionModule_2"));
271 actionUnbounded_Variable = new QAction(MainWindow);
272 actionUnbounded_Variable->setObjectName(QString::fromUtf8("actionUnbounded_Variable"));
273 actionBounded_Variable = new QAction(MainWindow);
274 actionBounded_Variable->setObjectName(QString::fromUtf8("actionBounded_Variable"));
275 actionFind = new QAction(MainWindow);
276 actionFind->setObjectName(QString::fromUtf8("actionFind"));
277 QIcon icon9;
278 iconThemeName = QString::fromUtf8("document-find");
279 if (QIcon::hasThemeIcon(iconThemeName)) {
280 icon9 = QIcon::fromTheme(iconThemeName);
281 } else {
282 icon9.addFile(QString::fromUtf8("."), QSize(), QIcon::Normal, QIcon::Off);
283 }
284 actionFind->setIcon(icon9);
285 actionReplace = new QAction(MainWindow);
286 actionReplace->setObjectName(QString::fromUtf8("actionReplace"));
287 QIcon icon10;
288 iconThemeName = QString::fromUtf8("document-replace");
289 if (QIcon::hasThemeIcon(iconThemeName)) {
290 icon10 = QIcon::fromTheme(iconThemeName);
291 } else {
292 icon10.addFile(QString::fromUtf8("."), QSize(), QIcon::Normal, QIcon::Off);
293 }
294 actionReplace->setIcon(icon10);
295 actionUndo = new QAction(MainWindow);
296 actionUndo->setObjectName(QString::fromUtf8("actionUndo"));
297 QIcon icon11;
298 iconThemeName = QString::fromUtf8("edit-undo");
299 if (QIcon::hasThemeIcon(iconThemeName)) {
300 icon11 = QIcon::fromTheme(iconThemeName);
301 } else {
302 icon11.addFile(QString::fromUtf8("."), QSize(), QIcon::Normal, QIcon::Off);
303 }
304 actionUndo->setIcon(icon11);
305 actionRedo = new QAction(MainWindow);
306 actionRedo->setObjectName(QString::fromUtf8("actionRedo"));
307 QIcon icon12;
308 iconThemeName = QString::fromUtf8("edit-redo");
309 if (QIcon::hasThemeIcon(iconThemeName)) {
310 icon12 = QIcon::fromTheme(iconThemeName);
311 } else {
312 icon12.addFile(QString::fromUtf8("."), QSize(), QIcon::Normal, QIcon::Off);
313 }
314 actionRedo->setIcon(icon12);
315 actionPreferences = new QAction(MainWindow);
316 actionPreferences->setObjectName(QString::fromUtf8("actionPreferences"));
317 QIcon icon13;
318 iconThemeName = QString::fromUtf8("gtk-preferences");
319 if (QIcon::hasThemeIcon(iconThemeName)) {
320 icon13 = QIcon::fromTheme(iconThemeName);
321 } else {
322 icon13.addFile(QString::fromUtf8("."), QSize(), QIcon::Normal, QIcon::Off);
323 }
324 actionPreferences->setIcon(icon13);
325 actionClose = new QAction(MainWindow);
326 actionClose->setObjectName(QString::fromUtf8("actionClose"));
327 QIcon icon14;
328 iconThemeName = QString::fromUtf8("document-close");
329 if (QIcon::hasThemeIcon(iconThemeName)) {
330 icon14 = QIcon::fromTheme(iconThemeName);
331 } else {
332 icon14.addFile(QString::fromUtf8("."), QSize(), QIcon::Normal, QIcon::Off);
333 }
334 actionClose->setIcon(icon14);
335 actionQuit = new QAction(MainWindow);
336 actionQuit->setObjectName(QString::fromUtf8("actionQuit"));
337 QIcon icon15;
338 iconThemeName = QString::fromUtf8("exit");
339 if (QIcon::hasThemeIcon(iconThemeName)) {
340 icon15 = QIcon::fromTheme(iconThemeName);
341 } else {
342 icon15.addFile(QString::fromUtf8("."), QSize(), QIcon::Normal, QIcon::Off);
343 }
344 actionQuit->setIcon(icon15);
345 actionModel_Editor = new QAction(MainWindow);
346 actionModel_Editor->setObjectName(QString::fromUtf8("actionModel_Editor"));
347 actionModel_Editor->setCheckable(true);
348 actionModel_Editor->setChecked(false);
349 actionProperties_Editor = new QAction(MainWindow);
350 actionProperties_Editor->setObjectName(QString::fromUtf8("actionProperties_Editor"));
351 actionProperties_Editor->setCheckable(true);
352 actionResults_Viewer = new QAction(MainWindow);
353 actionResults_Viewer->setObjectName(QString::fromUtf8("actionResults_Viewer"));
354 actionResults_Viewer->setCheckable(true);
355 actionZoom_In = new QAction(MainWindow);
356 actionZoom_In->setObjectName(QString::fromUtf8("actionZoom_In"));
357 QIcon icon16;
358 iconThemeName = QString::fromUtf8("zoom-in");
359 if (QIcon::hasThemeIcon(iconThemeName)) {
360 icon16 = QIcon::fromTheme(iconThemeName);
361 } else {
362 icon16.addFile(QString::fromUtf8("."), QSize(), QIcon::Normal, QIcon::Off);
363 }
364 actionZoom_In->setIcon(icon16);
365 actionZoom_Out = new QAction(MainWindow);
366 actionZoom_Out->setObjectName(QString::fromUtf8("actionZoom_Out"));
367 QIcon icon17;
368 iconThemeName = QString::fromUtf8("zoom-out");
369 if (QIcon::hasThemeIcon(iconThemeName)) {
370 icon17 = QIcon::fromTheme(iconThemeName);
371 } else {
372 icon17.addFile(QString::fromUtf8("."), QSize(), QIcon::Normal, QIcon::Off);
373 }
374 actionZoom_Out->setIcon(icon17);
375 actionReset_Text_Size = new QAction(MainWindow);
376 actionReset_Text_Size->setObjectName(QString::fromUtf8("actionReset_Text_Size"));
377 QIcon icon18;
378 iconThemeName = QString::fromUtf8("zoom");
379 if (QIcon::hasThemeIcon(iconThemeName)) {
380 icon18 = QIcon::fromTheme(iconThemeName);
381 } else {
382 icon18.addFile(QString::fromUtf8("."), QSize(), QIcon::Normal, QIcon::Off);
383 }
384 actionReset_Text_Size->setIcon(icon18);
385 actionCheck_Current_Property = new QAction(MainWindow);
386 actionCheck_Current_Property->setObjectName(QString::fromUtf8("actionCheck_Current_Property"));
387 QIcon icon19;
388 iconThemeName = QString::fromUtf8("checkmark");
389 if (QIcon::hasThemeIcon(iconThemeName)) {
390 icon19 = QIcon::fromTheme(iconThemeName);
391 } else {
392 icon19.addFile(QString::fromUtf8("."), QSize(), QIcon::Normal, QIcon::Off);
393 }
394 actionCheck_Current_Property->setIcon(icon19);
395 actionCheck_All_Properties = new QAction(MainWindow);
396 actionCheck_All_Properties->setObjectName(QString::fromUtf8("actionCheck_All_Properties"));
397 QIcon icon20;
398 iconThemeName = QString::fromUtf8("kt-start-all");
399 if (QIcon::hasThemeIcon(iconThemeName)) {
400 icon20 = QIcon::fromTheme(iconThemeName);
401 } else {
402 icon20.addFile(QString::fromUtf8("."), QSize(), QIcon::Normal, QIcon::Off);
403 }
404 actionCheck_All_Properties->setIcon(icon20);
405 actionCheck_Specific_Properties = new QAction(MainWindow);
406 actionCheck_Specific_Properties->setObjectName(QString::fromUtf8("actionCheck_Specific_Properties"));
407 QIcon icon21;
408 iconThemeName = QString::fromUtf8("label");
409 if (QIcon::hasThemeIcon(iconThemeName)) {
410 icon21 = QIcon::fromTheme(iconThemeName);
411 } else {
412 icon21.addFile(QString::fromUtf8("."), QSize(), QIcon::Normal, QIcon::Off);
413 }
414 actionCheck_Specific_Properties->setIcon(icon21);
415 actionStorm_Sylvan = new QAction(MainWindow);
416 actionStorm_Sylvan->setObjectName(QString::fromUtf8("actionStorm_Sylvan"));
417 actionStorm_Sylvan->setCheckable(true);
418 actionStorm_Sylvan->setChecked(true);
419 actionModel_Checker_Preferences = new QAction(MainWindow);
420 actionModel_Checker_Preferences->setObjectName(QString::fromUtf8("actionModel_Checker_Preferences"));
421 actionAbout_STORM = new QAction(MainWindow);
422 actionAbout_STORM->setObjectName(QString::fromUtf8("actionAbout_STORM"));
423 actionSTAMINA_Iterative = new QAction(MainWindow);
424 actionSTAMINA_Iterative->setObjectName(QString::fromUtf8("actionSTAMINA_Iterative"));
425 actionSTAMINA_Iterative->setCheckable(true);
426 actionSTAMINA_Iterative->setChecked(true);
427 actionSTAMINA_Priority = new QAction(MainWindow);
428 actionSTAMINA_Priority->setObjectName(QString::fromUtf8("actionSTAMINA_Priority"));
429 actionSTAMINA_Priority->setCheckable(true);
430 actionSTORM_Explicit = new QAction(MainWindow);
431 actionSTORM_Explicit->setObjectName(QString::fromUtf8("actionSTORM_Explicit"));
432 actionSTORM_Explicit->setCheckable(true);
433 actionAbout_STAMINA = new QAction(MainWindow);
434 actionAbout_STAMINA->setObjectName(QString::fromUtf8("actionAbout_STAMINA"));
435 actionDocumentation = new QAction(MainWindow);
436 actionDocumentation->setObjectName(QString::fromUtf8("actionDocumentation"));
437 actionReport_A_Bug = new QAction(MainWindow);
438 actionReport_A_Bug->setObjectName(QString::fromUtf8("actionReport_A_Bug"));
439 QIcon icon22;
440 iconThemeName = QString::fromUtf8("bug");
441 if (QIcon::hasThemeIcon(iconThemeName)) {
442 icon22 = QIcon::fromTheme(iconThemeName);
443 } else {
444 icon22.addFile(QString::fromUtf8("."), QSize(), QIcon::Normal, QIcon::Off);
445 }
446 actionReport_A_Bug->setIcon(icon22);
447 actionAbout_STORM_2 = new QAction(MainWindow);
448 actionAbout_STORM_2->setObjectName(QString::fromUtf8("actionAbout_STORM_2"));
449 actionAbout_STAMINA_2 = new QAction(MainWindow);
450 actionAbout_STAMINA_2->setObjectName(QString::fromUtf8("actionAbout_STAMINA_2"));
451 actionAbout_Qt = new QAction(MainWindow);
452 actionAbout_Qt->setObjectName(QString::fromUtf8("actionAbout_Qt"));
453 QIcon icon23;
454 iconThemeName = QString::fromUtf8("qt");
455 if (QIcon::hasThemeIcon(iconThemeName)) {
456 icon23 = QIcon::fromTheme(iconThemeName);
457 } else {
458 icon23.addFile(QString::fromUtf8("."), QSize(), QIcon::Normal, QIcon::Off);
459 }
460 actionAbout_Qt->setIcon(icon23);
461 actionAbout_KF5 = new QAction(MainWindow);
462 actionAbout_KF5->setObjectName(QString::fromUtf8("actionAbout_KF5"));
463 QIcon icon24;
464 iconThemeName = QString::fromUtf8("kde");
465 if (QIcon::hasThemeIcon(iconThemeName)) {
466 icon24 = QIcon::fromTheme(iconThemeName);
467 } else {
468 icon24.addFile(QString::fromUtf8("."), QSize(), QIcon::Normal, QIcon::Off);
469 }
470 actionAbout_KF5->setIcon(icon24);
471 actionShow_toolbar = new QAction(MainWindow);
472 actionShow_toolbar->setObjectName(QString::fromUtf8("actionShow_toolbar"));
473 actionShow_toolbar->setCheckable(true);
474 actionShow_toolbar->setChecked(true);
475 actionShow_Statusbar = new QAction(MainWindow);
476 actionShow_Statusbar->setObjectName(QString::fromUtf8("actionShow_Statusbar"));
477 actionShow_Statusbar->setCheckable(true);
478 actionShow_Statusbar->setChecked(true);
479 actionLock_Toolbar = new QAction(MainWindow);
480 actionLock_Toolbar->setObjectName(QString::fromUtf8("actionLock_Toolbar"));
481 actionLock_Toolbar->setCheckable(true);
482 actionLock_Toolbar->setChecked(true);
483 actionTop = new QAction(MainWindow);
484 actionTop->setObjectName(QString::fromUtf8("actionTop"));
485 actionTop->setCheckable(true);
486 actionTop->setChecked(true);
487 actionBottom = new QAction(MainWindow);
488 actionBottom->setObjectName(QString::fromUtf8("actionBottom"));
489 actionBottom->setCheckable(true);
490 actionLeft = new QAction(MainWindow);
491 actionLeft->setObjectName(QString::fromUtf8("actionLeft"));
492 actionLeft->setCheckable(true);
493 actionRight = new QAction(MainWindow);
494 actionRight->setObjectName(QString::fromUtf8("actionRight"));
495 actionRight->setCheckable(true);
496 actionForever_Property = new QAction(MainWindow);
497 actionForever_Property->setObjectName(QString::fromUtf8("actionForever_Property"));
498 actionUntil_Property = new QAction(MainWindow);
499 actionUntil_Property->setObjectName(QString::fromUtf8("actionUntil_Property"));
500 actionBounded_Until_Property = new QAction(MainWindow);
501 actionBounded_Until_Property->setObjectName(QString::fromUtf8("actionBounded_Until_Property"));
502 centralwidget = new QWidget(MainWindow);
503 centralwidget->setObjectName(QString::fromUtf8("centralwidget"));
504 horizontalLayout = new QHBoxLayout(centralwidget);
505 horizontalLayout->setObjectName(QString::fromUtf8("horizontalLayout"));
506 mainTabs = new QTabWidget(centralwidget);
507 mainTabs->setObjectName(QString::fromUtf8("mainTabs"));
508 QSizePolicy sizePolicy(QSizePolicy::Expanding, QSizePolicy::Expanding);
509 sizePolicy.setHorizontalStretch(99);
510 sizePolicy.setVerticalStretch(0);
511 sizePolicy.setHeightForWidth(mainTabs->sizePolicy().hasHeightForWidth());
512 mainTabs->setSizePolicy(sizePolicy);
513 mainTabs->setTabPosition(QTabWidget::South);
514 modelTab = new QWidget();
515 modelTab->setObjectName(QString::fromUtf8("modelTab"));
516 horizontalLayout_3 = new QHBoxLayout(modelTab);
517 horizontalLayout_3->setObjectName(QString::fromUtf8("horizontalLayout_3"));
518 splitter = new QSplitter(modelTab);
519 splitter->setObjectName(QString::fromUtf8("splitter"));
520 splitter->setOrientation(Qt::Horizontal);
521 layoutWidget = new QWidget(splitter);
522 layoutWidget->setObjectName(QString::fromUtf8("layoutWidget"));
523 modelLeftVBox = new QVBoxLayout(layoutWidget);
524 modelLeftVBox->setObjectName(QString::fromUtf8("modelLeftVBox"));
525 modelLeftVBox->setContentsMargins(0, 0, 0, 0);
526 modelInfoTree = new QTreeWidget(layoutWidget);
527 new QTreeWidgetItem(modelInfoTree);
528 new QTreeWidgetItem(modelInfoTree);
529 QTreeWidgetItem *__qtreewidgetitem = new QTreeWidgetItem(modelInfoTree);
530 new QTreeWidgetItem(__qtreewidgetitem);
531 QTreeWidgetItem *__qtreewidgetitem1 = new QTreeWidgetItem(modelInfoTree);
532 new QTreeWidgetItem(__qtreewidgetitem1);
533 modelInfoTree->setObjectName(QString::fromUtf8("modelInfoTree"));
534 QSizePolicy sizePolicy1(QSizePolicy::Preferred, QSizePolicy::Expanding);
535 sizePolicy1.setHorizontalStretch(0);
536 sizePolicy1.setVerticalStretch(0);
537 sizePolicy1.setHeightForWidth(modelInfoTree->sizePolicy().hasHeightForWidth());
538 modelInfoTree->setSizePolicy(sizePolicy1);
539 modelInfoTree->setMaximumSize(QSize(16777215, 16777215));
540 modelInfoTree->setBaseSize(QSize(500, 0));
541
542 modelLeftVBox->addWidget(modelInfoTree);
543
544 modelInfoVBox = new QGroupBox(layoutWidget);
545 modelInfoVBox->setObjectName(QString::fromUtf8("modelInfoVBox"));
546 modelInfoVBox->setMaximumSize(QSize(16777215, 16777215));
547 verticalLayout_3 = new QVBoxLayout(modelInfoVBox);
548 verticalLayout_3->setObjectName(QString::fromUtf8("verticalLayout_3"));
549 statesHBox = new QHBoxLayout();
550 statesHBox->setObjectName(QString::fromUtf8("statesHBox"));
551 statesTitleLabel = new QLabel(modelInfoVBox);
552 statesTitleLabel->setObjectName(QString::fromUtf8("statesTitleLabel"));
553 statesTitleLabel->setTextFormat(Qt::MarkdownText);
554 statesTitleLabel->setAlignment(Qt::AlignRight|Qt::AlignTrailing|Qt::AlignVCenter);
555
556 statesHBox->addWidget(statesTitleLabel);
557
558 statesLabel = new QLabel(modelInfoVBox);
559 statesLabel->setObjectName(QString::fromUtf8("statesLabel"));
560
561 statesHBox->addWidget(statesLabel);
562
563
564 verticalLayout_3->addLayout(statesHBox);
565
566 initStatesHBox = new QHBoxLayout();
567 initStatesHBox->setObjectName(QString::fromUtf8("initStatesHBox"));
568 initStatesTitleLabel = new QLabel(modelInfoVBox);
569 initStatesTitleLabel->setObjectName(QString::fromUtf8("initStatesTitleLabel"));
570 initStatesTitleLabel->setTextFormat(Qt::MarkdownText);
571 initStatesTitleLabel->setAlignment(Qt::AlignRight|Qt::AlignTrailing|Qt::AlignVCenter);
572
573 initStatesHBox->addWidget(initStatesTitleLabel);
574
575 initStatesLabel = new QLabel(modelInfoVBox);
576 initStatesLabel->setObjectName(QString::fromUtf8("initStatesLabel"));
577
578 initStatesHBox->addWidget(initStatesLabel);
579
580
581 verticalLayout_3->addLayout(initStatesHBox);
582
583 transitionsHBox = new QHBoxLayout();
584 transitionsHBox->setObjectName(QString::fromUtf8("transitionsHBox"));
585 transitionsTitleLabel = new QLabel(modelInfoVBox);
586 transitionsTitleLabel->setObjectName(QString::fromUtf8("transitionsTitleLabel"));
587 transitionsTitleLabel->setTextFormat(Qt::MarkdownText);
588 transitionsTitleLabel->setAlignment(Qt::AlignRight|Qt::AlignTrailing|Qt::AlignVCenter);
589
590 transitionsHBox->addWidget(transitionsTitleLabel);
591
592 transitionsLabel = new QLabel(modelInfoVBox);
593 transitionsLabel->setObjectName(QString::fromUtf8("transitionsLabel"));
594
595 transitionsHBox->addWidget(transitionsLabel);
596
597
598 verticalLayout_3->addLayout(transitionsHBox);
599
600
601 modelLeftVBox->addWidget(modelInfoVBox);
602
603 buildModelButton = new QPushButton(layoutWidget);
604 buildModelButton->setObjectName(QString::fromUtf8("buildModelButton"));
605 QIcon icon25;
606 iconThemeName = QString::fromUtf8("draw");
607 if (QIcon::hasThemeIcon(iconThemeName)) {
608 icon25 = QIcon::fromTheme(iconThemeName);
609 } else {
610 icon25.addFile(QString::fromUtf8("."), QSize(), QIcon::Normal, QIcon::Off);
611 }
612 buildModelButton->setIcon(icon25);
613
614 modelLeftVBox->addWidget(buildModelButton);
615
616 splitter->addWidget(layoutWidget);
617 modelFile = new stamina::gui::addons::CodeEditor(splitter);
618 modelFile->setObjectName(QString::fromUtf8("modelFile"));
619 QFont font;
620 font.setFamily(QString::fromUtf8("Noto Sans Mono"));
621 modelFile->setFont(font);
622 splitter->addWidget(modelFile);
623
624 horizontalLayout_3->addWidget(splitter);
625
626 mainTabs->addTab(modelTab, QString());
627 propertyTab = new QWidget();
628 propertyTab->setObjectName(QString::fromUtf8("propertyTab"));
629 horizontalLayout_4 = new QHBoxLayout(propertyTab);
630 horizontalLayout_4->setObjectName(QString::fromUtf8("horizontalLayout_4"));
631 splitter_4 = new QSplitter(propertyTab);
632 splitter_4->setObjectName(QString::fromUtf8("splitter_4"));
633 splitter_4->setOrientation(Qt::Horizontal);
634 splitter_2 = new QSplitter(splitter_4);
635 splitter_2->setObjectName(QString::fromUtf8("splitter_2"));
636 splitter_2->setOrientation(Qt::Vertical);
637 constantsGroup = new QGroupBox(splitter_2);
638 constantsGroup->setObjectName(QString::fromUtf8("constantsGroup"));
639 verticalLayout_8 = new QVBoxLayout(constantsGroup);
640 verticalLayout_8->setObjectName(QString::fromUtf8("verticalLayout_8"));
641 constantsTable = new QTableWidget(constantsGroup);
642 if (constantsTable->columnCount() < 3)
643 constantsTable->setColumnCount(3);
644 QTableWidgetItem *__qtablewidgetitem = new QTableWidgetItem();
645 constantsTable->setHorizontalHeaderItem(0, __qtablewidgetitem);
646 QTableWidgetItem *__qtablewidgetitem1 = new QTableWidgetItem();
647 constantsTable->setHorizontalHeaderItem(1, __qtablewidgetitem1);
648 QTableWidgetItem *__qtablewidgetitem2 = new QTableWidgetItem();
649 constantsTable->setHorizontalHeaderItem(2, __qtablewidgetitem2);
650 constantsTable->setObjectName(QString::fromUtf8("constantsTable"));
651
652 verticalLayout_8->addWidget(constantsTable);
653
654 constantsButtonGroup = new QHBoxLayout();
655 constantsButtonGroup->setObjectName(QString::fromUtf8("constantsButtonGroup"));
656 addConstantButton = new QPushButton(constantsGroup);
657 addConstantButton->setObjectName(QString::fromUtf8("addConstantButton"));
658 QIcon icon26;
659 iconThemeName = QString::fromUtf8("add");
660 if (QIcon::hasThemeIcon(iconThemeName)) {
661 icon26 = QIcon::fromTheme(iconThemeName);
662 } else {
663 icon26.addFile(QString::fromUtf8("."), QSize(), QIcon::Normal, QIcon::Off);
664 }
665 addConstantButton->setIcon(icon26);
666
667 constantsButtonGroup->addWidget(addConstantButton);
668
669 deleteConstantButton = new QPushButton(constantsGroup);
670 deleteConstantButton->setObjectName(QString::fromUtf8("deleteConstantButton"));
671 QIcon icon27;
672 iconThemeName = QString::fromUtf8("delete");
673 if (QIcon::hasThemeIcon(iconThemeName)) {
674 icon27 = QIcon::fromTheme(iconThemeName);
675 } else {
676 icon27.addFile(QString::fromUtf8("."), QSize(), QIcon::Normal, QIcon::Off);
677 }
678 deleteConstantButton->setIcon(icon27);
679
680 constantsButtonGroup->addWidget(deleteConstantButton);
681
682 horizontalSpacer_2 = new QSpacerItem(40, 20, QSizePolicy::Expanding, QSizePolicy::Minimum);
683
684 constantsButtonGroup->addItem(horizontalSpacer_2);
685
686
687 verticalLayout_8->addLayout(constantsButtonGroup);
688
689 splitter_2->addWidget(constantsGroup);
690 labelGroupBox = new QGroupBox(splitter_2);
691 labelGroupBox->setObjectName(QString::fromUtf8("labelGroupBox"));
692 verticalLayout_2 = new QVBoxLayout(labelGroupBox);
693 verticalLayout_2->setObjectName(QString::fromUtf8("verticalLayout_2"));
694 labelTabel = new QTableWidget(labelGroupBox);
695 if (labelTabel->columnCount() < 2)
696 labelTabel->setColumnCount(2);
697 QTableWidgetItem *__qtablewidgetitem3 = new QTableWidgetItem();
698 labelTabel->setHorizontalHeaderItem(0, __qtablewidgetitem3);
699 QTableWidgetItem *__qtablewidgetitem4 = new QTableWidgetItem();
700 labelTabel->setHorizontalHeaderItem(1, __qtablewidgetitem4);
701 labelTabel->setObjectName(QString::fromUtf8("labelTabel"));
702
703 verticalLayout_2->addWidget(labelTabel);
704
705 horizontalLayout_2 = new QHBoxLayout();
706 horizontalLayout_2->setObjectName(QString::fromUtf8("horizontalLayout_2"));
707 pushButton = new QPushButton(labelGroupBox);
708 pushButton->setObjectName(QString::fromUtf8("pushButton"));
709 pushButton->setIcon(icon21);
710
711 horizontalLayout_2->addWidget(pushButton);
712
713 pushButton_2 = new QPushButton(labelGroupBox);
714 pushButton_2->setObjectName(QString::fromUtf8("pushButton_2"));
715 pushButton_2->setIcon(icon27);
716
717 horizontalLayout_2->addWidget(pushButton_2);
718
719 horizontalSpacer_3 = new QSpacerItem(40, 20, QSizePolicy::Expanding, QSizePolicy::Minimum);
720
721 horizontalLayout_2->addItem(horizontalSpacer_3);
722
723
724 verticalLayout_2->addLayout(horizontalLayout_2);
725
726 splitter_2->addWidget(labelGroupBox);
727 splitter_4->addWidget(splitter_2);
728 layoutWidget1 = new QWidget(splitter_4);
729 layoutWidget1->setObjectName(QString::fromUtf8("layoutWidget1"));
730 propertySideVBox = new QVBoxLayout(layoutWidget1);
731 propertySideVBox->setObjectName(QString::fromUtf8("propertySideVBox"));
732 propertySideVBox->setContentsMargins(0, 0, 0, 0);
733 propertiesEditor = new stamina::gui::addons::CodeEditor(layoutWidget1);
734 propertiesEditor->setObjectName(QString::fromUtf8("propertiesEditor"));
735 propertiesEditor->setFont(font);
736
737 propertySideVBox->addWidget(propertiesEditor);
738
739 propertyButtons = new QHBoxLayout();
740 propertyButtons->setObjectName(QString::fromUtf8("propertyButtons"));
741 propertyWizardButton = new QPushButton(layoutWidget1);
742 propertyWizardButton->setObjectName(QString::fromUtf8("propertyWizardButton"));
743 propertyWizardButton->setIcon(icon26);
744
745 propertyButtons->addWidget(propertyWizardButton);
746
747 deletePropertyButton = new QPushButton(layoutWidget1);
748 deletePropertyButton->setObjectName(QString::fromUtf8("deletePropertyButton"));
749 deletePropertyButton->setIcon(icon27);
750
751 propertyButtons->addWidget(deletePropertyButton);
752
753 horizontalSpacer = new QSpacerItem(40, 20, QSizePolicy::Expanding, QSizePolicy::Minimum);
754
755 propertyButtons->addItem(horizontalSpacer);
756
757
758 propertySideVBox->addLayout(propertyButtons);
759
760 splitter_4->addWidget(layoutWidget1);
761
762 horizontalLayout_4->addWidget(splitter_4);
763
764 mainTabs->addTab(propertyTab, QString());
765 resultsTab = new QWidget();
766 resultsTab->setObjectName(QString::fromUtf8("resultsTab"));
767 horizontalLayout_5 = new QHBoxLayout(resultsTab);
768 horizontalLayout_5->setObjectName(QString::fromUtf8("horizontalLayout_5"));
769 splitter_5 = new QSplitter(resultsTab);
770 splitter_5->setObjectName(QString::fromUtf8("splitter_5"));
771 splitter_5->setOrientation(Qt::Horizontal);
772 splitter_3 = new QSplitter(splitter_5);
773 splitter_3->setObjectName(QString::fromUtf8("splitter_3"));
774 splitter_3->setOrientation(Qt::Vertical);
775 counterExamplesGroup = new QGroupBox(splitter_3);
776 counterExamplesGroup->setObjectName(QString::fromUtf8("counterExamplesGroup"));
777 horizontalLayout_10 = new QHBoxLayout(counterExamplesGroup);
778 horizontalLayout_10->setObjectName(QString::fromUtf8("horizontalLayout_10"));
779 counterExamplesTable = new QTableWidget(counterExamplesGroup);
780 if (counterExamplesTable->columnCount() < 3)
781 counterExamplesTable->setColumnCount(3);
782 QTableWidgetItem *__qtablewidgetitem5 = new QTableWidgetItem();
783 counterExamplesTable->setHorizontalHeaderItem(0, __qtablewidgetitem5);
784 QTableWidgetItem *__qtablewidgetitem6 = new QTableWidgetItem();
785 counterExamplesTable->setHorizontalHeaderItem(1, __qtablewidgetitem6);
786 QTableWidgetItem *__qtablewidgetitem7 = new QTableWidgetItem();
787 counterExamplesTable->setHorizontalHeaderItem(2, __qtablewidgetitem7);
788 counterExamplesTable->setObjectName(QString::fromUtf8("counterExamplesTable"));
789
790 horizontalLayout_10->addWidget(counterExamplesTable);
791
792 splitter_3->addWidget(counterExamplesGroup);
793 earlyTerminatedGroup = new QGroupBox(splitter_3);
794 earlyTerminatedGroup->setObjectName(QString::fromUtf8("earlyTerminatedGroup"));
795 verticalLayout_7 = new QVBoxLayout(earlyTerminatedGroup);
796 verticalLayout_7->setObjectName(QString::fromUtf8("verticalLayout_7"));
797 earlyTerminatedTable = new QTableWidget(earlyTerminatedGroup);
798 if (earlyTerminatedTable->columnCount() < 2)
799 earlyTerminatedTable->setColumnCount(2);
800 QTableWidgetItem *__qtablewidgetitem8 = new QTableWidgetItem();
801 earlyTerminatedTable->setHorizontalHeaderItem(0, __qtablewidgetitem8);
802 QTableWidgetItem *__qtablewidgetitem9 = new QTableWidgetItem();
803 earlyTerminatedTable->setHorizontalHeaderItem(1, __qtablewidgetitem9);
804 earlyTerminatedTable->setObjectName(QString::fromUtf8("earlyTerminatedTable"));
805
806 verticalLayout_7->addWidget(earlyTerminatedTable);
807
808 splitter_3->addWidget(earlyTerminatedGroup);
809 splitter_5->addWidget(splitter_3);
810 simulationResultsTable = new QTableWidget(splitter_5);
811 if (simulationResultsTable->columnCount() < 3)
812 simulationResultsTable->setColumnCount(3);
813 QTableWidgetItem *__qtablewidgetitem10 = new QTableWidgetItem();
814 simulationResultsTable->setHorizontalHeaderItem(0, __qtablewidgetitem10);
815 QTableWidgetItem *__qtablewidgetitem11 = new QTableWidgetItem();
816 simulationResultsTable->setHorizontalHeaderItem(1, __qtablewidgetitem11);
817 QTableWidgetItem *__qtablewidgetitem12 = new QTableWidgetItem();
818 simulationResultsTable->setHorizontalHeaderItem(2, __qtablewidgetitem12);
819 simulationResultsTable->setObjectName(QString::fromUtf8("simulationResultsTable"));
820 splitter_5->addWidget(simulationResultsTable);
821
822 horizontalLayout_5->addWidget(splitter_5);
823
824 mainTabs->addTab(resultsTab, QString());
825 logTab = new QWidget();
826 logTab->setObjectName(QString::fromUtf8("logTab"));
827 verticalLayout = new QVBoxLayout(logTab);
828 verticalLayout->setObjectName(QString::fromUtf8("verticalLayout"));
829 logOutput = new QPlainTextEdit(logTab);
830 logOutput->setObjectName(QString::fromUtf8("logOutput"));
831 logOutput->setFont(font);
832 logOutput->setReadOnly(true);
833
834 verticalLayout->addWidget(logOutput);
835
836 showStdOut = new QCheckBox(logTab);
837 showStdOut->setObjectName(QString::fromUtf8("showStdOut"));
838 showStdOut->setChecked(true);
839
840 verticalLayout->addWidget(showStdOut);
841
842 showStdErr = new QCheckBox(logTab);
843 showStdErr->setObjectName(QString::fromUtf8("showStdErr"));
844 showStdErr->setChecked(true);
845
846 verticalLayout->addWidget(showStdErr);
847
848 mainTabs->addTab(logTab, QString());
849
850 horizontalLayout->addWidget(mainTabs);
851
852 MainWindow->setCentralWidget(centralwidget);
853 menubar = new QMenuBar(MainWindow);
854 menubar->setObjectName(QString::fromUtf8("menubar"));
855 menubar->setGeometry(QRect(0, 0, 1624, 30));
856 menuFile = new QMenu(menubar);
857 menuFile->setObjectName(QString::fromUtf8("menuFile"));
858 menuNew = new QMenu(menuFile);
859 menuNew->setObjectName(QString::fromUtf8("menuNew"));
860 menuNew->setIcon(icon1);
861 menuModel_File = new QMenu(menuNew);
862 menuModel_File->setObjectName(QString::fromUtf8("menuModel_File"));
863 menuEdit = new QMenu(menubar);
864 menuEdit->setObjectName(QString::fromUtf8("menuEdit"));
865 menuInsert = new QMenu(menuEdit);
866 menuInsert->setObjectName(QString::fromUtf8("menuInsert"));
867 menuInsert->setIcon(icon26);
868 menuModel = new QMenu(menuInsert);
869 menuModel->setObjectName(QString::fromUtf8("menuModel"));
870 menuProperties = new QMenu(menuInsert);
871 menuProperties->setObjectName(QString::fromUtf8("menuProperties"));
872 menuView = new QMenu(menubar);
873 menuView->setObjectName(QString::fromUtf8("menuView"));
874 menuZoom = new QMenu(menuView);
875 menuZoom->setObjectName(QString::fromUtf8("menuZoom"));
876 menuZoom->setIcon(icon18);
877 menuToolbar_Position = new QMenu(menuView);
878 menuToolbar_Position->setObjectName(QString::fromUtf8("menuToolbar_Position"));
879 menuHelp = new QMenu(menubar);
880 menuHelp->setObjectName(QString::fromUtf8("menuHelp"));
881 menuModel_Checking_Engine = new QMenu(menuHelp);
882 menuModel_Checking_Engine->setObjectName(QString::fromUtf8("menuModel_Checking_Engine"));
883 menuModel_Building_Engine = new QMenu(menuHelp);
884 menuModel_Building_Engine->setObjectName(QString::fromUtf8("menuModel_Building_Engine"));
885 menuHelp_2 = new QMenu(menubar);
886 menuHelp_2->setObjectName(QString::fromUtf8("menuHelp_2"));
887 MainWindow->setMenuBar(menubar);
888 statusbar = new QStatusBar(MainWindow);
889 statusbar->setObjectName(QString::fromUtf8("statusbar"));
890 MainWindow->setStatusBar(statusbar);
891 toolBar = new QToolBar(MainWindow);
892 toolBar->setObjectName(QString::fromUtf8("toolBar"));
893 toolBar->setMovable(true);
894 toolBar->setFloatable(true);
895 MainWindow->addToolBar(Qt::TopToolBarArea, toolBar);
896
897 menubar->addAction(menuFile->menuAction());
898 menubar->addAction(menuEdit->menuAction());
899 menubar->addAction(menuView->menuAction());
900 menubar->addAction(menuHelp->menuAction());
901 menubar->addAction(menuHelp_2->menuAction());
902 menuFile->addAction(menuNew->menuAction());
903 menuFile->addAction(actionOpen);
904 menuFile->addAction(actionSave);
905 menuFile->addAction(actionSave_As);
906 menuFile->addSeparator();
907 menuFile->addAction(actionExport);
908 menuFile->addSeparator();
909 menuFile->addAction(actionClose);
910 menuFile->addAction(actionQuit);
911 menuNew->addAction(menuModel_File->menuAction());
912 menuNew->addAction(actionProperties_File);
913 menuModel_File->addAction(actionPRISM_Language);
914 menuModel_File->addAction(actionJANI_Language);
915 menuEdit->addAction(actionCut);
916 menuEdit->addAction(actionCopy);
917 menuEdit->addAction(actionPaste);
918 menuEdit->addSeparator();
919 menuEdit->addAction(menuInsert->menuAction());
920 menuEdit->addSeparator();
921 menuEdit->addAction(actionFind);
922 menuEdit->addAction(actionReplace);
923 menuEdit->addSeparator();
924 menuEdit->addAction(actionUndo);
925 menuEdit->addAction(actionRedo);
926 menuEdit->addSeparator();
927 menuEdit->addAction(actionPreferences);
928 menuInsert->addAction(menuModel->menuAction());
929 menuInsert->addAction(menuProperties->menuAction());
930 menuModel->addAction(actionModule_2);
931 menuModel->addAction(actionUnbounded_Variable);
932 menuModel->addAction(actionBounded_Variable);
933 menuProperties->addAction(actionForever_Property);
934 menuProperties->addAction(actionUntil_Property);
935 menuProperties->addAction(actionBounded_Until_Property);
936 menuView->addAction(actionModel_Editor);
937 menuView->addAction(actionProperties_Editor);
938 menuView->addAction(actionResults_Viewer);
939 menuView->addSeparator();
940 menuView->addAction(menuZoom->menuAction());
941 menuView->addSeparator();
942 menuView->addAction(actionShow_toolbar);
943 menuView->addAction(actionShow_Statusbar);
944 menuView->addSeparator();
945 menuView->addAction(actionLock_Toolbar);
946 menuView->addAction(menuToolbar_Position->menuAction());
947 menuZoom->addAction(actionZoom_In);
948 menuZoom->addAction(actionZoom_Out);
949 menuZoom->addAction(actionReset_Text_Size);
950 menuToolbar_Position->addAction(actionTop);
951 menuToolbar_Position->addAction(actionBottom);
952 menuToolbar_Position->addAction(actionLeft);
953 menuToolbar_Position->addAction(actionRight);
954 menuHelp->addAction(actionCheck_Current_Property);
955 menuHelp->addAction(actionCheck_All_Properties);
956 menuHelp->addAction(actionCheck_Specific_Properties);
957 menuHelp->addSeparator();
958 menuHelp->addAction(menuModel_Checking_Engine->menuAction());
959 menuHelp->addSeparator();
960 menuHelp->addAction(actionModel_Checker_Preferences);
961 menuHelp->addSeparator();
962 menuHelp->addAction(menuModel_Building_Engine->menuAction());
963 menuModel_Checking_Engine->addAction(actionStorm_Sylvan);
964 menuModel_Building_Engine->addAction(actionSTAMINA_Iterative);
965 menuModel_Building_Engine->addAction(actionSTAMINA_Priority);
966 menuModel_Building_Engine->addAction(actionSTORM_Explicit);
967 menuHelp_2->addAction(actionDocumentation);
968 menuHelp_2->addAction(actionReport_A_Bug);
969 menuHelp_2->addSeparator();
970 menuHelp_2->addAction(actionAbout_STORM_2);
971 menuHelp_2->addAction(actionAbout_STAMINA_2);
972 menuHelp_2->addSeparator();
973 menuHelp_2->addAction(actionAbout_Qt);
974 menuHelp_2->addAction(actionAbout_KF5);
975 toolBar->addAction(actionOpen);
976 toolBar->addAction(actionSave);
977 toolBar->addAction(actionSave_As);
978 toolBar->addAction(actionExport);
979 toolBar->addSeparator();
980 toolBar->addAction(actionCut);
981 toolBar->addAction(actionCopy);
982 toolBar->addAction(actionPaste);
983 toolBar->addSeparator();
984 toolBar->addAction(actionCheck_Current_Property);
985 toolBar->addAction(actionCheck_All_Properties);
986 toolBar->addAction(actionCheck_Specific_Properties);
987
988 retranslateUi(MainWindow);
989
990 mainTabs->setCurrentIndex(2);
991
992
993 QMetaObject::connectSlotsByName(MainWindow);
994 } // setupUi
995
996 void retranslateUi(QMainWindow *MainWindow)
997 {
998 MainWindow->setWindowTitle(QCoreApplication::translate("MainWindow", "STAMINA/STORM", nullptr));
999 actionProperties_File->setText(QCoreApplication::translate("MainWindow", "Properties File", nullptr));
1000#if QT_CONFIG(shortcut)
1001 actionProperties_File->setShortcut(QCoreApplication::translate("MainWindow", "Ctrl+Shift+N", nullptr));
1002#endif // QT_CONFIG(shortcut)
1003 actionPRISM_Language->setText(QCoreApplication::translate("MainWindow", "PRISM Language", nullptr));
1004#if QT_CONFIG(shortcut)
1005 actionPRISM_Language->setShortcut(QCoreApplication::translate("MainWindow", "Ctrl+N", nullptr));
1006#endif // QT_CONFIG(shortcut)
1007 actionJANI_Language->setText(QCoreApplication::translate("MainWindow", "JANI Language", nullptr));
1008 actionOpen->setText(QCoreApplication::translate("MainWindow", "Open", nullptr));
1009#if QT_CONFIG(shortcut)
1010 actionOpen->setShortcut(QCoreApplication::translate("MainWindow", "Ctrl+O", nullptr));
1011#endif // QT_CONFIG(shortcut)
1012 actionSave->setText(QCoreApplication::translate("MainWindow", "Save", nullptr));
1013#if QT_CONFIG(shortcut)
1014 actionSave->setShortcut(QCoreApplication::translate("MainWindow", "Ctrl+S", nullptr));
1015#endif // QT_CONFIG(shortcut)
1016 actionSave_As->setText(QCoreApplication::translate("MainWindow", "Save As", nullptr));
1017#if QT_CONFIG(shortcut)
1018 actionSave_As->setShortcut(QCoreApplication::translate("MainWindow", "Ctrl+Shift+S", nullptr));
1019#endif // QT_CONFIG(shortcut)
1020 actionExport->setText(QCoreApplication::translate("MainWindow", "Export", nullptr));
1021 actionCut->setText(QCoreApplication::translate("MainWindow", "Cut", nullptr));
1022#if QT_CONFIG(shortcut)
1023 actionCut->setShortcut(QCoreApplication::translate("MainWindow", "Ctrl+X", nullptr));
1024#endif // QT_CONFIG(shortcut)
1025 actionCopy->setText(QCoreApplication::translate("MainWindow", "Copy", nullptr));
1026#if QT_CONFIG(shortcut)
1027 actionCopy->setShortcut(QCoreApplication::translate("MainWindow", "Ctrl+C", nullptr));
1028#endif // QT_CONFIG(shortcut)
1029 actionPaste->setText(QCoreApplication::translate("MainWindow", "Paste", nullptr));
1030#if QT_CONFIG(shortcut)
1031 actionPaste->setShortcut(QCoreApplication::translate("MainWindow", "Ctrl+V", nullptr));
1032#endif // QT_CONFIG(shortcut)
1033 actionModule_2->setText(QCoreApplication::translate("MainWindow", "Module", nullptr));
1034 actionUnbounded_Variable->setText(QCoreApplication::translate("MainWindow", "Variable", nullptr));
1035 actionBounded_Variable->setText(QCoreApplication::translate("MainWindow", "Bounded Variable", nullptr));
1036 actionFind->setText(QCoreApplication::translate("MainWindow", "Find", nullptr));
1037#if QT_CONFIG(shortcut)
1038 actionFind->setShortcut(QCoreApplication::translate("MainWindow", "Ctrl+F", nullptr));
1039#endif // QT_CONFIG(shortcut)
1040 actionReplace->setText(QCoreApplication::translate("MainWindow", "Replace", nullptr));
1041#if QT_CONFIG(shortcut)
1042 actionReplace->setShortcut(QCoreApplication::translate("MainWindow", "Ctrl+R", nullptr));
1043#endif // QT_CONFIG(shortcut)
1044 actionUndo->setText(QCoreApplication::translate("MainWindow", "Undo", nullptr));
1045#if QT_CONFIG(shortcut)
1046 actionUndo->setShortcut(QCoreApplication::translate("MainWindow", "Ctrl+Z", nullptr));
1047#endif // QT_CONFIG(shortcut)
1048 actionRedo->setText(QCoreApplication::translate("MainWindow", "Redo", nullptr));
1049#if QT_CONFIG(shortcut)
1050 actionRedo->setShortcut(QCoreApplication::translate("MainWindow", "Ctrl+Shift+Z", nullptr));
1051#endif // QT_CONFIG(shortcut)
1052 actionPreferences->setText(QCoreApplication::translate("MainWindow", "Preferences", nullptr));
1053#if QT_CONFIG(shortcut)
1054 actionPreferences->setShortcut(QCoreApplication::translate("MainWindow", "Alt+Shift+P", nullptr));
1055#endif // QT_CONFIG(shortcut)
1056 actionClose->setText(QCoreApplication::translate("MainWindow", "Close", nullptr));
1057 actionQuit->setText(QCoreApplication::translate("MainWindow", "Quit", nullptr));
1058#if QT_CONFIG(shortcut)
1059 actionQuit->setShortcut(QCoreApplication::translate("MainWindow", "Ctrl+W", nullptr));
1060#endif // QT_CONFIG(shortcut)
1061 actionModel_Editor->setText(QCoreApplication::translate("MainWindow", "Model Editor", nullptr));
1062#if QT_CONFIG(shortcut)
1063 actionModel_Editor->setShortcut(QCoreApplication::translate("MainWindow", "Ctrl+M", nullptr));
1064#endif // QT_CONFIG(shortcut)
1065 actionProperties_Editor->setText(QCoreApplication::translate("MainWindow", "Properties Editor", nullptr));
1066#if QT_CONFIG(shortcut)
1067 actionProperties_Editor->setShortcut(QCoreApplication::translate("MainWindow", "Ctrl+Shift+P", nullptr));
1068#endif // QT_CONFIG(shortcut)
1069 actionResults_Viewer->setText(QCoreApplication::translate("MainWindow", "Results Viewer", nullptr));
1070#if QT_CONFIG(shortcut)
1071 actionResults_Viewer->setShortcut(QCoreApplication::translate("MainWindow", "Ctrl+Shift+R", nullptr));
1072#endif // QT_CONFIG(shortcut)
1073 actionZoom_In->setText(QCoreApplication::translate("MainWindow", "Zoom In", nullptr));
1074#if QT_CONFIG(shortcut)
1075 actionZoom_In->setShortcut(QCoreApplication::translate("MainWindow", "Ctrl++", nullptr));
1076#endif // QT_CONFIG(shortcut)
1077 actionZoom_Out->setText(QCoreApplication::translate("MainWindow", "Zoom Out", nullptr));
1078#if QT_CONFIG(shortcut)
1079 actionZoom_Out->setShortcut(QCoreApplication::translate("MainWindow", "Ctrl+-", nullptr));
1080#endif // QT_CONFIG(shortcut)
1081 actionReset_Text_Size->setText(QCoreApplication::translate("MainWindow", "Reset Text Size", nullptr));
1082 actionCheck_Current_Property->setText(QCoreApplication::translate("MainWindow", "Check Current Property", nullptr));
1083#if QT_CONFIG(shortcut)
1084 actionCheck_Current_Property->setShortcut(QCoreApplication::translate("MainWindow", "Ctrl+Return", nullptr));
1085#endif // QT_CONFIG(shortcut)
1086 actionCheck_All_Properties->setText(QCoreApplication::translate("MainWindow", "Check All Properties", nullptr));
1087#if QT_CONFIG(shortcut)
1088 actionCheck_All_Properties->setShortcut(QCoreApplication::translate("MainWindow", "Ctrl+Shift+Return", nullptr));
1089#endif // QT_CONFIG(shortcut)
1090 actionCheck_Specific_Properties->setText(QCoreApplication::translate("MainWindow", "Check Specific Properties", nullptr));
1091 actionStorm_Sylvan->setText(QCoreApplication::translate("MainWindow", "Storm: Sylvan", nullptr));
1092 actionModel_Checker_Preferences->setText(QCoreApplication::translate("MainWindow", "Model Checker Preferences", nullptr));
1093 actionAbout_STORM->setText(QCoreApplication::translate("MainWindow", "About STORM", nullptr));
1094 actionSTAMINA_Iterative->setText(QCoreApplication::translate("MainWindow", "STAMINA Iterative", nullptr));
1095 actionSTAMINA_Priority->setText(QCoreApplication::translate("MainWindow", "STAMINA Priority", nullptr));
1096 actionSTORM_Explicit->setText(QCoreApplication::translate("MainWindow", "STORM Explicit", nullptr));
1097 actionAbout_STAMINA->setText(QCoreApplication::translate("MainWindow", "About STAMINA", nullptr));
1098 actionDocumentation->setText(QCoreApplication::translate("MainWindow", "Documentation", nullptr));
1099 actionReport_A_Bug->setText(QCoreApplication::translate("MainWindow", "Report A Bug", nullptr));
1100 actionAbout_STORM_2->setText(QCoreApplication::translate("MainWindow", "About STORM", nullptr));
1101 actionAbout_STAMINA_2->setText(QCoreApplication::translate("MainWindow", "About STAMINA", nullptr));
1102 actionAbout_Qt->setText(QCoreApplication::translate("MainWindow", "About Qt", nullptr));
1103 actionAbout_KF5->setText(QCoreApplication::translate("MainWindow", "About KF5", nullptr));
1104 actionShow_toolbar->setText(QCoreApplication::translate("MainWindow", "Show Toolbar", nullptr));
1105 actionShow_Statusbar->setText(QCoreApplication::translate("MainWindow", "Show Statusbar", nullptr));
1106 actionLock_Toolbar->setText(QCoreApplication::translate("MainWindow", "Lock Toolbar", nullptr));
1107 actionTop->setText(QCoreApplication::translate("MainWindow", "Top", nullptr));
1108 actionBottom->setText(QCoreApplication::translate("MainWindow", "Bottom", nullptr));
1109 actionLeft->setText(QCoreApplication::translate("MainWindow", "Left", nullptr));
1110 actionRight->setText(QCoreApplication::translate("MainWindow", "Right", nullptr));
1111 actionForever_Property->setText(QCoreApplication::translate("MainWindow", "Forever Property", nullptr));
1112 actionUntil_Property->setText(QCoreApplication::translate("MainWindow", "Until Property", nullptr));
1113 actionBounded_Until_Property->setText(QCoreApplication::translate("MainWindow", "Bounded Until Property", nullptr));
1114 QTreeWidgetItem *___qtreewidgetitem = modelInfoTree->headerItem();
1115 ___qtreewidgetitem->setText(0, QCoreApplication::translate("MainWindow", "Model", nullptr));
1116
1117 const bool __sortingEnabled = modelInfoTree->isSortingEnabled();
1118 modelInfoTree->setSortingEnabled(false);
1119 QTreeWidgetItem *___qtreewidgetitem1 = modelInfoTree->topLevelItem(0);
1120 ___qtreewidgetitem1->setText(0, QCoreApplication::translate("MainWindow", "Filename", nullptr));
1121 QTreeWidgetItem *___qtreewidgetitem2 = modelInfoTree->topLevelItem(1);
1122 ___qtreewidgetitem2->setText(0, QCoreApplication::translate("MainWindow", "Type: CTMC", nullptr));
1123 QTreeWidgetItem *___qtreewidgetitem3 = modelInfoTree->topLevelItem(2);
1124 ___qtreewidgetitem3->setText(0, QCoreApplication::translate("MainWindow", "Modules", nullptr));
1125 QTreeWidgetItem *___qtreewidgetitem4 = ___qtreewidgetitem3->child(0);
1126 ___qtreewidgetitem4->setText(0, QCoreApplication::translate("MainWindow", "Test Module", nullptr));
1127 QTreeWidgetItem *___qtreewidgetitem5 = modelInfoTree->topLevelItem(3);
1128 ___qtreewidgetitem5->setText(0, QCoreApplication::translate("MainWindow", "Constants", nullptr));
1129 QTreeWidgetItem *___qtreewidgetitem6 = ___qtreewidgetitem5->child(0);
1130 ___qtreewidgetitem6->setText(0, QCoreApplication::translate("MainWindow", "Test Constants", nullptr));
1131 modelInfoTree->setSortingEnabled(__sortingEnabled);
1132
1133 modelInfoVBox->setTitle(QCoreApplication::translate("MainWindow", "Model Information", nullptr));
1134 statesTitleLabel->setText(QCoreApplication::translate("MainWindow", "**States:**", nullptr));
1135 statesLabel->setText(QCoreApplication::translate("MainWindow", "Model Not Built", nullptr));
1136 initStatesTitleLabel->setText(QCoreApplication::translate("MainWindow", "**Initial States:**", nullptr));
1137 initStatesLabel->setText(QCoreApplication::translate("MainWindow", "Model Not Built", nullptr));
1138 transitionsTitleLabel->setText(QCoreApplication::translate("MainWindow", "**Transitions:**", nullptr));
1139 transitionsLabel->setText(QCoreApplication::translate("MainWindow", "Model Not Built", nullptr));
1140 buildModelButton->setText(QCoreApplication::translate("MainWindow", "Build Model", nullptr));
1141 mainTabs->setTabText(mainTabs->indexOf(modelTab), QCoreApplication::translate("MainWindow", "Model Editor", nullptr));
1142 constantsGroup->setTitle(QCoreApplication::translate("MainWindow", "Constant Editor", nullptr));
1143 QTableWidgetItem *___qtablewidgetitem = constantsTable->horizontalHeaderItem(0);
1144 ___qtablewidgetitem->setText(QCoreApplication::translate("MainWindow", "Name", nullptr));
1145 QTableWidgetItem *___qtablewidgetitem1 = constantsTable->horizontalHeaderItem(1);
1146 ___qtablewidgetitem1->setText(QCoreApplication::translate("MainWindow", "Type", nullptr));
1147 QTableWidgetItem *___qtablewidgetitem2 = constantsTable->horizontalHeaderItem(2);
1148 ___qtablewidgetitem2->setText(QCoreApplication::translate("MainWindow", "Value", nullptr));
1149 addConstantButton->setText(QCoreApplication::translate("MainWindow", "Add Constant", nullptr));
1150 deleteConstantButton->setText(QCoreApplication::translate("MainWindow", "Delete Constant", nullptr));
1151 labelGroupBox->setTitle(QCoreApplication::translate("MainWindow", "Label Editor", nullptr));
1152 QTableWidgetItem *___qtablewidgetitem3 = labelTabel->horizontalHeaderItem(0);
1153 ___qtablewidgetitem3->setText(QCoreApplication::translate("MainWindow", "Name", nullptr));
1154 QTableWidgetItem *___qtablewidgetitem4 = labelTabel->horizontalHeaderItem(1);
1155 ___qtablewidgetitem4->setText(QCoreApplication::translate("MainWindow", "Definition", nullptr));
1156 pushButton->setText(QCoreApplication::translate("MainWindow", "Create Label", nullptr));
1157 pushButton_2->setText(QCoreApplication::translate("MainWindow", "Delete Label", nullptr));
1158 propertyWizardButton->setText(QCoreApplication::translate("MainWindow", "Property Wizard", nullptr));
1159 deletePropertyButton->setText(QCoreApplication::translate("MainWindow", "Delete Property", nullptr));
1160 mainTabs->setTabText(mainTabs->indexOf(propertyTab), QCoreApplication::translate("MainWindow", "Properties Editor", nullptr));
1161 counterExamplesGroup->setTitle(QCoreApplication::translate("MainWindow", "Counterexamples", nullptr));
1162 QTableWidgetItem *___qtablewidgetitem5 = counterExamplesTable->horizontalHeaderItem(0);
1163 ___qtablewidgetitem5->setText(QCoreApplication::translate("MainWindow", "Violated Property", nullptr));
1164 QTableWidgetItem *___qtablewidgetitem6 = counterExamplesTable->horizontalHeaderItem(1);
1165 ___qtablewidgetitem6->setText(QCoreApplication::translate("MainWindow", "Path Length", nullptr));
1166 QTableWidgetItem *___qtablewidgetitem7 = counterExamplesTable->horizontalHeaderItem(2);
1167 ___qtablewidgetitem7->setText(QCoreApplication::translate("MainWindow", "Estimated Path Probability", nullptr));
1168 earlyTerminatedGroup->setTitle(QCoreApplication::translate("MainWindow", "Early-terminated States", nullptr));
1169 QTableWidgetItem *___qtablewidgetitem8 = earlyTerminatedTable->horizontalHeaderItem(0);
1170 ___qtablewidgetitem8->setText(QCoreApplication::translate("MainWindow", "State ID", nullptr));
1171 QTableWidgetItem *___qtablewidgetitem9 = earlyTerminatedTable->horizontalHeaderItem(1);
1172 ___qtablewidgetitem9->setText(QCoreApplication::translate("MainWindow", "Probability", nullptr));
1173 QTableWidgetItem *___qtablewidgetitem10 = simulationResultsTable->horizontalHeaderItem(0);
1174 ___qtablewidgetitem10->setText(QCoreApplication::translate("MainWindow", "Property", nullptr));
1175 QTableWidgetItem *___qtablewidgetitem11 = simulationResultsTable->horizontalHeaderItem(1);
1176 ___qtablewidgetitem11->setText(QCoreApplication::translate("MainWindow", "PMin", nullptr));
1177 QTableWidgetItem *___qtablewidgetitem12 = simulationResultsTable->horizontalHeaderItem(2);
1178 ___qtablewidgetitem12->setText(QCoreApplication::translate("MainWindow", "PMax", nullptr));
1179 mainTabs->setTabText(mainTabs->indexOf(resultsTab), QCoreApplication::translate("MainWindow", "Results", nullptr));
1180 logOutput->setPlaceholderText(QCoreApplication::translate("MainWindow", "Log output will appear here when STAMINA is run.", nullptr));
1181 showStdOut->setText(QCoreApplication::translate("MainWindow", "Show standard out", nullptr));
1182 showStdErr->setText(QCoreApplication::translate("MainWindow", "Show standard error", nullptr));
1183 mainTabs->setTabText(mainTabs->indexOf(logTab), QCoreApplication::translate("MainWindow", "Log", nullptr));
1184 menuFile->setTitle(QCoreApplication::translate("MainWindow", "File", nullptr));
1185 menuNew->setTitle(QCoreApplication::translate("MainWindow", "New", nullptr));
1186 menuModel_File->setTitle(QCoreApplication::translate("MainWindow", "Model File", nullptr));
1187 menuEdit->setTitle(QCoreApplication::translate("MainWindow", "Edit", nullptr));
1188 menuInsert->setTitle(QCoreApplication::translate("MainWindow", "Insert", nullptr));
1189 menuModel->setTitle(QCoreApplication::translate("MainWindow", "Model", nullptr));
1190 menuProperties->setTitle(QCoreApplication::translate("MainWindow", "Properties", nullptr));
1191 menuView->setTitle(QCoreApplication::translate("MainWindow", "View", nullptr));
1192 menuZoom->setTitle(QCoreApplication::translate("MainWindow", "Zoom", nullptr));
1193 menuToolbar_Position->setTitle(QCoreApplication::translate("MainWindow", "Toolbar Position", nullptr));
1194 menuHelp->setTitle(QCoreApplication::translate("MainWindow", "Check", nullptr));
1195 menuModel_Checking_Engine->setTitle(QCoreApplication::translate("MainWindow", "Model Checking Engine", nullptr));
1196 menuModel_Building_Engine->setTitle(QCoreApplication::translate("MainWindow", "Model Building Engine", nullptr));
1197 menuHelp_2->setTitle(QCoreApplication::translate("MainWindow", "Help", nullptr));
1198 toolBar->setWindowTitle(QCoreApplication::translate("MainWindow", "toolBar", nullptr));
1199 } // retranslateUi
1200
1201};
1202
1203namespace Ui {
1204 class MainWindow: public Ui_MainWindow {};
1205} // namespace Ui
1206
1207QT_END_NAMESPACE
1208
1209#endif // MAINWINDOW_H
Ui::MainWindow
Definition: ui_MainWindow.h:1204
Ui_MainWindow
Definition: ui_MainWindow.h:40
stamina::gui::addons::CodeEditor
Definition: CodeEditor.h:19
Generated by doxygen 1.9.3