STAMINA/STORM 0.1
Infinite state-space truncator which generates a probability within a window
ui_PropertyWizard.h
1/********************************************************************************
2** Form generated from reading UI file 'PropertyWizard.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 PROPERTYWIZARD_H
10#define PROPERTYWIZARD_H
11
12#include <QtCore/QVariant>
13#include <QtGui/QIcon>
14#include <QtWidgets/QApplication>
15#include <QtWidgets/QComboBox>
16#include <QtWidgets/QDialog>
17#include <QtWidgets/QDialogButtonBox>
18#include <QtWidgets/QHBoxLayout>
19#include <QtWidgets/QHeaderView>
20#include <QtWidgets/QSpacerItem>
21#include <QtWidgets/QToolButton>
22#include <QtWidgets/QTreeWidget>
23#include <QtWidgets/QVBoxLayout>
24#include "kcombobox.h"
25
26QT_BEGIN_NAMESPACE
27
29{
30public:
31 QVBoxLayout *verticalLayout;
32 QHBoxLayout *horizontalLayout;
33 KComboBox *prefixLeft;
34 KComboBox *prefixOperand;
35 KComboBox *prefixRight;
36 QSpacerItem *horizontalSpacer;
37 QTreeWidget *propertyTree;
38 QHBoxLayout *horizontalLayout_2;
39 QComboBox *expressionType;
40 KComboBox *expressionOptions;
41 QToolButton *addExpression;
42 QToolButton *deleteExpression;
43 QDialogButtonBox *buttonBox;
44
45 void setupUi(QDialog *PropertyWizard)
46 {
47 if (PropertyWizard->objectName().isEmpty())
48 PropertyWizard->setObjectName(QString::fromUtf8("PropertyWizard"));
49 PropertyWizard->resize(414, 430);
50 verticalLayout = new QVBoxLayout(PropertyWizard);
51 verticalLayout->setObjectName(QString::fromUtf8("verticalLayout"));
52 horizontalLayout = new QHBoxLayout();
53 horizontalLayout->setObjectName(QString::fromUtf8("horizontalLayout"));
54 prefixLeft = new KComboBox(PropertyWizard);
55 prefixLeft->addItem(QString());
56 prefixLeft->addItem(QString());
57 prefixLeft->addItem(QString());
58 prefixLeft->addItem(QString());
59 prefixLeft->setObjectName(QString::fromUtf8("prefixLeft"));
60
61 horizontalLayout->addWidget(prefixLeft);
62
63 prefixOperand = new KComboBox(PropertyWizard);
64 prefixOperand->addItem(QString());
65 prefixOperand->addItem(QString());
66 prefixOperand->addItem(QString());
67 prefixOperand->addItem(QString());
68 prefixOperand->addItem(QString());
69 prefixOperand->setObjectName(QString::fromUtf8("prefixOperand"));
70
71 horizontalLayout->addWidget(prefixOperand);
72
73 prefixRight = new KComboBox(PropertyWizard);
74 prefixRight->setObjectName(QString::fromUtf8("prefixRight"));
75 prefixRight->setEditable(true);
76
77 horizontalLayout->addWidget(prefixRight);
78
79 horizontalSpacer = new QSpacerItem(40, 20, QSizePolicy::Expanding, QSizePolicy::Minimum);
80
81 horizontalLayout->addItem(horizontalSpacer);
82
83
84 verticalLayout->addLayout(horizontalLayout);
85
86 propertyTree = new QTreeWidget(PropertyWizard);
87 QTreeWidgetItem *__qtreewidgetitem = new QTreeWidgetItem();
88 __qtreewidgetitem->setText(0, QString::fromUtf8("1"));
89 propertyTree->setHeaderItem(__qtreewidgetitem);
90 propertyTree->setObjectName(QString::fromUtf8("propertyTree"));
91
92 verticalLayout->addWidget(propertyTree);
93
94 horizontalLayout_2 = new QHBoxLayout();
95 horizontalLayout_2->setObjectName(QString::fromUtf8("horizontalLayout_2"));
96 expressionType = new QComboBox(PropertyWizard);
97 expressionType->setObjectName(QString::fromUtf8("expressionType"));
98
99 horizontalLayout_2->addWidget(expressionType);
100
101 expressionOptions = new KComboBox(PropertyWizard);
102 expressionOptions->addItem(QString());
103 expressionOptions->addItem(QString());
104 expressionOptions->addItem(QString());
105 expressionOptions->addItem(QString());
106 expressionOptions->setObjectName(QString::fromUtf8("expressionOptions"));
107
108 horizontalLayout_2->addWidget(expressionOptions);
109
110 addExpression = new QToolButton(PropertyWizard);
111 addExpression->setObjectName(QString::fromUtf8("addExpression"));
112 QIcon icon;
113 QString iconThemeName = QString::fromUtf8("add");
114 if (QIcon::hasThemeIcon(iconThemeName)) {
115 icon = QIcon::fromTheme(iconThemeName);
116 } else {
117 icon.addFile(QString::fromUtf8("."), QSize(), QIcon::Normal, QIcon::Off);
118 }
119 addExpression->setIcon(icon);
120
121 horizontalLayout_2->addWidget(addExpression);
122
123 deleteExpression = new QToolButton(PropertyWizard);
124 deleteExpression->setObjectName(QString::fromUtf8("deleteExpression"));
125 QIcon icon1;
126 iconThemeName = QString::fromUtf8("delete");
127 if (QIcon::hasThemeIcon(iconThemeName)) {
128 icon1 = QIcon::fromTheme(iconThemeName);
129 } else {
130 icon1.addFile(QString::fromUtf8("."), QSize(), QIcon::Normal, QIcon::Off);
131 }
132 deleteExpression->setIcon(icon1);
133
134 horizontalLayout_2->addWidget(deleteExpression);
135
136
137 verticalLayout->addLayout(horizontalLayout_2);
138
139 buttonBox = new QDialogButtonBox(PropertyWizard);
140 buttonBox->setObjectName(QString::fromUtf8("buttonBox"));
141 buttonBox->setOrientation(Qt::Horizontal);
142 buttonBox->setStandardButtons(QDialogButtonBox::Cancel|QDialogButtonBox::Ok);
143
144 verticalLayout->addWidget(buttonBox);
145
146
147 retranslateUi(PropertyWizard);
148 QObject::connect(buttonBox, SIGNAL(accepted()), PropertyWizard, SLOT(accept()));
149 QObject::connect(buttonBox, SIGNAL(rejected()), PropertyWizard, SLOT(reject()));
150
151 QMetaObject::connectSlotsByName(PropertyWizard);
152 } // setupUi
153
154 void retranslateUi(QDialog *PropertyWizard)
155 {
156 PropertyWizard->setWindowTitle(QCoreApplication::translate("PropertyWizard", "Property Wizard", nullptr));
157 prefixLeft->setItemText(0, QCoreApplication::translate("PropertyWizard", "P", nullptr));
158 prefixLeft->setItemText(1, QCoreApplication::translate("PropertyWizard", "Pmin", nullptr));
159 prefixLeft->setItemText(2, QCoreApplication::translate("PropertyWizard", "Pmax", nullptr));
160 prefixLeft->setItemText(3, QCoreApplication::translate("PropertyWizard", "S", nullptr));
161
162 prefixOperand->setItemText(0, QCoreApplication::translate("PropertyWizard", ">", nullptr));
163 prefixOperand->setItemText(1, QCoreApplication::translate("PropertyWizard", "<", nullptr));
164 prefixOperand->setItemText(2, QCoreApplication::translate("PropertyWizard", ">=", nullptr));
165 prefixOperand->setItemText(3, QCoreApplication::translate("PropertyWizard", "<=", nullptr));
166 prefixOperand->setItemText(4, QCoreApplication::translate("PropertyWizard", "=?", nullptr));
167
168 expressionOptions->setItemText(0, QCoreApplication::translate("PropertyWizard", "AND", nullptr));
169 expressionOptions->setItemText(1, QCoreApplication::translate("PropertyWizard", "OR", nullptr));
170 expressionOptions->setItemText(2, QCoreApplication::translate("PropertyWizard", "XOR", nullptr));
171 expressionOptions->setItemText(3, QCoreApplication::translate("PropertyWizard", "U (Until)", nullptr));
172
173 addExpression->setText(QCoreApplication::translate("PropertyWizard", "...", nullptr));
174 deleteExpression->setText(QCoreApplication::translate("PropertyWizard", "...", nullptr));
175 } // retranslateUi
176
177};
178
179namespace Ui {
181} // namespace Ui
182
183QT_END_NAMESPACE
184
185#endif // PROPERTYWIZARD_H
Definition: ui_PropertyWizard.h:180
Definition: ui_PropertyWizard.h:29