STAMINA/STORM 0.1
Infinite state-space truncator which generates a probability within a window
ui_Preferences.h
1/********************************************************************************
2** Form generated from reading UI file 'Preferences.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 PREFERENCES_H
10#define PREFERENCES_H
11
12#include <QtCore/QVariant>
13#include <QtGui/QIcon>
14#include <QtWidgets/QApplication>
15#include <QtWidgets/QCheckBox>
16#include <QtWidgets/QDialog>
17#include <QtWidgets/QDialogButtonBox>
18#include <QtWidgets/QFormLayout>
19#include <QtWidgets/QGroupBox>
20#include <QtWidgets/QHBoxLayout>
21#include <QtWidgets/QLabel>
22#include <QtWidgets/QLineEdit>
23#include <QtWidgets/QPushButton>
24#include <QtWidgets/QRadioButton>
25#include <QtWidgets/QSpacerItem>
26#include <QtWidgets/QTabWidget>
27#include <QtWidgets/QVBoxLayout>
28#include <QtWidgets/QWidget>
29#include "kcombobox.h"
30
31QT_BEGIN_NAMESPACE
32
33class Ui_Preferences
34{
35public:
36 QVBoxLayout *verticalLayout;
37 QTabWidget *tabWidget;
38 QWidget *tab;
39 QFormLayout *formLayout;
40 QCheckBox *checkBox_4;
41 QCheckBox *checkBox_5;
42 QCheckBox *checkBox_6;
43 QCheckBox *checkBox_7;
44 QCheckBox *checkBox_8;
45 QCheckBox *checkBox_11;
46 QSpacerItem *verticalSpacer_3;
47 QGroupBox *groupBox_2;
48 QFormLayout *formLayout_5;
49 QRadioButton *radioButton_6;
50 QRadioButton *radioButton_7;
51 KComboBox *kcombobox;
52 QLabel *label_12;
53 QCheckBox *checkBox_14;
54 QWidget *tab_2;
55 QFormLayout *formLayout_2;
56 QLabel *label;
57 QLabel *label_2;
58 QLabel *label_5;
59 QLabel *label_3;
60 QLabel *label_4;
61 QLabel *label_6;
62 QLabel *label_7;
63 QLineEdit *kappa;
64 QLineEdit *lineEdit;
65 QLineEdit *lineEdit_4;
66 QCheckBox *checkBox;
67 QLineEdit *lineEdit_2;
68 QLineEdit *lineEdit_3;
69 QCheckBox *checkBox_2;
70 QHBoxLayout *horizontalLayout;
71 QLineEdit *lineEdit_5;
72 QPushButton *pushButton;
73 QHBoxLayout *horizontalLayout_2;
74 QLineEdit *lineEdit_6;
75 QPushButton *pushButton_2;
76 QGroupBox *groupBox;
77 QVBoxLayout *verticalLayout_3;
78 QRadioButton *radioButton_5;
79 QRadioButton *radioButton;
80 QRadioButton *radioButton_2;
81 QRadioButton *radioButton_3;
82 QRadioButton *radioButton_4;
83 QSpacerItem *verticalSpacer_4;
84 QCheckBox *checkBox_3;
85 QWidget *tab_3;
86 QFormLayout *formLayout_3;
87 QCheckBox *checkBox_9;
88 QCheckBox *checkBox_13;
89 QLabel *label_11;
90 QLineEdit *lineEdit_10;
91 QCheckBox *checkBox_10;
92 QSpacerItem *verticalSpacer;
93 QWidget *tab_4;
94 QFormLayout *formLayout_4;
95 QLabel *label_8;
96 QLineEdit *lineEdit_7;
97 QCheckBox *checkBox_12;
98 QLabel *label_9;
99 QLineEdit *lineEdit_8;
100 QLabel *label_10;
101 QLineEdit *lineEdit_9;
102 QSpacerItem *verticalSpacer_2;
103 QWidget *tab_5;
104 QDialogButtonBox *buttonBox;
105
106 void setupUi(QDialog *Preferences)
107 {
108 if (Preferences->objectName().isEmpty())
109 Preferences->setObjectName(QString::fromUtf8("Preferences"));
110 Preferences->resize(687, 654);
111 verticalLayout = new QVBoxLayout(Preferences);
112 verticalLayout->setObjectName(QString::fromUtf8("verticalLayout"));
113 tabWidget = new QTabWidget(Preferences);
114 tabWidget->setObjectName(QString::fromUtf8("tabWidget"));
115 tabWidget->setFocusPolicy(Qt::WheelFocus);
116 tabWidget->setTabPosition(QTabWidget::West);
117 tabWidget->setTabShape(QTabWidget::Rounded);
118 tabWidget->setTabsClosable(false);
119 tab = new QWidget();
120 tab->setObjectName(QString::fromUtf8("tab"));
121 formLayout = new QFormLayout(tab);
122 formLayout->setObjectName(QString::fromUtf8("formLayout"));
123 checkBox_4 = new QCheckBox(tab);
124 checkBox_4->setObjectName(QString::fromUtf8("checkBox_4"));
125
126 formLayout->setWidget(0, QFormLayout::FieldRole, checkBox_4);
127
128 checkBox_5 = new QCheckBox(tab);
129 checkBox_5->setObjectName(QString::fromUtf8("checkBox_5"));
130
131 formLayout->setWidget(1, QFormLayout::FieldRole, checkBox_5);
132
133 checkBox_6 = new QCheckBox(tab);
134 checkBox_6->setObjectName(QString::fromUtf8("checkBox_6"));
135 checkBox_6->setChecked(true);
136
137 formLayout->setWidget(2, QFormLayout::FieldRole, checkBox_6);
138
139 checkBox_7 = new QCheckBox(tab);
140 checkBox_7->setObjectName(QString::fromUtf8("checkBox_7"));
141 checkBox_7->setChecked(true);
142
143 formLayout->setWidget(3, QFormLayout::FieldRole, checkBox_7);
144
145 checkBox_8 = new QCheckBox(tab);
146 checkBox_8->setObjectName(QString::fromUtf8("checkBox_8"));
147
148 formLayout->setWidget(4, QFormLayout::FieldRole, checkBox_8);
149
150 checkBox_11 = new QCheckBox(tab);
151 checkBox_11->setObjectName(QString::fromUtf8("checkBox_11"));
152
153 formLayout->setWidget(5, QFormLayout::FieldRole, checkBox_11);
154
155 verticalSpacer_3 = new QSpacerItem(20, 40, QSizePolicy::Minimum, QSizePolicy::Expanding);
156
157 formLayout->setItem(8, QFormLayout::FieldRole, verticalSpacer_3);
158
159 groupBox_2 = new QGroupBox(tab);
160 groupBox_2->setObjectName(QString::fromUtf8("groupBox_2"));
161 formLayout_5 = new QFormLayout(groupBox_2);
162 formLayout_5->setObjectName(QString::fromUtf8("formLayout_5"));
163 radioButton_6 = new QRadioButton(groupBox_2);
164 radioButton_6->setObjectName(QString::fromUtf8("radioButton_6"));
165 radioButton_6->setChecked(true);
166
167 formLayout_5->setWidget(4, QFormLayout::FieldRole, radioButton_6);
168
169 radioButton_7 = new QRadioButton(groupBox_2);
170 radioButton_7->setObjectName(QString::fromUtf8("radioButton_7"));
171
172 formLayout_5->setWidget(5, QFormLayout::FieldRole, radioButton_7);
173
174 kcombobox = new KComboBox(groupBox_2);
175 kcombobox->addItem(QString());
176 kcombobox->addItem(QString());
177 kcombobox->addItem(QString());
178 kcombobox->setObjectName(QString::fromUtf8("kcombobox"));
179
180 formLayout_5->setWidget(2, QFormLayout::FieldRole, kcombobox);
181
182 label_12 = new QLabel(groupBox_2);
183 label_12->setObjectName(QString::fromUtf8("label_12"));
184
185 formLayout_5->setWidget(2, QFormLayout::LabelRole, label_12);
186
187 checkBox_14 = new QCheckBox(groupBox_2);
188 checkBox_14->setObjectName(QString::fromUtf8("checkBox_14"));
189 checkBox_14->setEnabled(false);
190 checkBox_14->setChecked(true);
191
192 formLayout_5->setWidget(6, QFormLayout::FieldRole, checkBox_14);
193
194
195 formLayout->setWidget(6, QFormLayout::FieldRole, groupBox_2);
196
197 tabWidget->addTab(tab, QString());
198 tab_2 = new QWidget();
199 tab_2->setObjectName(QString::fromUtf8("tab_2"));
200 formLayout_2 = new QFormLayout(tab_2);
201 formLayout_2->setObjectName(QString::fromUtf8("formLayout_2"));
202 label = new QLabel(tab_2);
203 label->setObjectName(QString::fromUtf8("label"));
204
205 formLayout_2->setWidget(0, QFormLayout::LabelRole, label);
206
207 label_2 = new QLabel(tab_2);
208 label_2->setObjectName(QString::fromUtf8("label_2"));
209
210 formLayout_2->setWidget(2, QFormLayout::LabelRole, label_2);
211
212 label_5 = new QLabel(tab_2);
213 label_5->setObjectName(QString::fromUtf8("label_5"));
214
215 formLayout_2->setWidget(4, QFormLayout::LabelRole, label_5);
216
217 label_3 = new QLabel(tab_2);
218 label_3->setObjectName(QString::fromUtf8("label_3"));
219
220 formLayout_2->setWidget(7, QFormLayout::LabelRole, label_3);
221
222 label_4 = new QLabel(tab_2);
223 label_4->setObjectName(QString::fromUtf8("label_4"));
224
225 formLayout_2->setWidget(9, QFormLayout::LabelRole, label_4);
226
227 label_6 = new QLabel(tab_2);
228 label_6->setObjectName(QString::fromUtf8("label_6"));
229
230 formLayout_2->setWidget(12, QFormLayout::LabelRole, label_6);
231
232 label_7 = new QLabel(tab_2);
233 label_7->setObjectName(QString::fromUtf8("label_7"));
234
235 formLayout_2->setWidget(15, QFormLayout::LabelRole, label_7);
236
237 kappa = new QLineEdit(tab_2);
238 kappa->setObjectName(QString::fromUtf8("kappa"));
239
240 formLayout_2->setWidget(0, QFormLayout::FieldRole, kappa);
241
242 lineEdit = new QLineEdit(tab_2);
243 lineEdit->setObjectName(QString::fromUtf8("lineEdit"));
244
245 formLayout_2->setWidget(2, QFormLayout::FieldRole, lineEdit);
246
247 lineEdit_4 = new QLineEdit(tab_2);
248 lineEdit_4->setObjectName(QString::fromUtf8("lineEdit_4"));
249
250 formLayout_2->setWidget(4, QFormLayout::FieldRole, lineEdit_4);
251
252 checkBox = new QCheckBox(tab_2);
253 checkBox->setObjectName(QString::fromUtf8("checkBox"));
254
255 formLayout_2->setWidget(5, QFormLayout::FieldRole, checkBox);
256
257 lineEdit_2 = new QLineEdit(tab_2);
258 lineEdit_2->setObjectName(QString::fromUtf8("lineEdit_2"));
259
260 formLayout_2->setWidget(7, QFormLayout::FieldRole, lineEdit_2);
261
262 lineEdit_3 = new QLineEdit(tab_2);
263 lineEdit_3->setObjectName(QString::fromUtf8("lineEdit_3"));
264
265 formLayout_2->setWidget(9, QFormLayout::FieldRole, lineEdit_3);
266
267 checkBox_2 = new QCheckBox(tab_2);
268 checkBox_2->setObjectName(QString::fromUtf8("checkBox_2"));
269
270 formLayout_2->setWidget(11, QFormLayout::FieldRole, checkBox_2);
271
272 horizontalLayout = new QHBoxLayout();
273 horizontalLayout->setObjectName(QString::fromUtf8("horizontalLayout"));
274 lineEdit_5 = new QLineEdit(tab_2);
275 lineEdit_5->setObjectName(QString::fromUtf8("lineEdit_5"));
276
277 horizontalLayout->addWidget(lineEdit_5);
278
279 pushButton = new QPushButton(tab_2);
280 pushButton->setObjectName(QString::fromUtf8("pushButton"));
281 pushButton->setMaximumSize(QSize(100, 16777215));
282 QIcon icon;
283 QString iconThemeName = QString::fromUtf8("folder-open");
284 if (QIcon::hasThemeIcon(iconThemeName)) {
285 icon = QIcon::fromTheme(iconThemeName);
286 } else {
287 icon.addFile(QString::fromUtf8("."), QSize(), QIcon::Normal, QIcon::Off);
288 }
289 pushButton->setIcon(icon);
290
291 horizontalLayout->addWidget(pushButton);
292
293
294 formLayout_2->setLayout(12, QFormLayout::FieldRole, horizontalLayout);
295
296 horizontalLayout_2 = new QHBoxLayout();
297 horizontalLayout_2->setObjectName(QString::fromUtf8("horizontalLayout_2"));
298 lineEdit_6 = new QLineEdit(tab_2);
299 lineEdit_6->setObjectName(QString::fromUtf8("lineEdit_6"));
300
301 horizontalLayout_2->addWidget(lineEdit_6);
302
303 pushButton_2 = new QPushButton(tab_2);
304 pushButton_2->setObjectName(QString::fromUtf8("pushButton_2"));
305 pushButton_2->setMaximumSize(QSize(100, 16777215));
306 pushButton_2->setIcon(icon);
307
308 horizontalLayout_2->addWidget(pushButton_2);
309
310
311 formLayout_2->setLayout(15, QFormLayout::FieldRole, horizontalLayout_2);
312
313 groupBox = new QGroupBox(tab_2);
314 groupBox->setObjectName(QString::fromUtf8("groupBox"));
315 verticalLayout_3 = new QVBoxLayout(groupBox);
316 verticalLayout_3->setObjectName(QString::fromUtf8("verticalLayout_3"));
317 radioButton_5 = new QRadioButton(groupBox);
318 radioButton_5->setObjectName(QString::fromUtf8("radioButton_5"));
319
320 verticalLayout_3->addWidget(radioButton_5);
321
322 radioButton = new QRadioButton(groupBox);
323 radioButton->setObjectName(QString::fromUtf8("radioButton"));
324 radioButton->setChecked(true);
325
326 verticalLayout_3->addWidget(radioButton);
327
328 radioButton_2 = new QRadioButton(groupBox);
329 radioButton_2->setObjectName(QString::fromUtf8("radioButton_2"));
330
331 verticalLayout_3->addWidget(radioButton_2);
332
333 radioButton_3 = new QRadioButton(groupBox);
334 radioButton_3->setObjectName(QString::fromUtf8("radioButton_3"));
335
336 verticalLayout_3->addWidget(radioButton_3);
337
338 radioButton_4 = new QRadioButton(groupBox);
339 radioButton_4->setObjectName(QString::fromUtf8("radioButton_4"));
340
341 verticalLayout_3->addWidget(radioButton_4);
342
343
344 formLayout_2->setWidget(17, QFormLayout::FieldRole, groupBox);
345
346 verticalSpacer_4 = new QSpacerItem(20, 40, QSizePolicy::Minimum, QSizePolicy::Expanding);
347
348 formLayout_2->setItem(18, QFormLayout::FieldRole, verticalSpacer_4);
349
350 checkBox_3 = new QCheckBox(tab_2);
351 checkBox_3->setObjectName(QString::fromUtf8("checkBox_3"));
352
353 formLayout_2->setWidget(14, QFormLayout::FieldRole, checkBox_3);
354
355 tabWidget->addTab(tab_2, QString());
356 tab_3 = new QWidget();
357 tab_3->setObjectName(QString::fromUtf8("tab_3"));
358 formLayout_3 = new QFormLayout(tab_3);
359 formLayout_3->setObjectName(QString::fromUtf8("formLayout_3"));
360 checkBox_9 = new QCheckBox(tab_3);
361 checkBox_9->setObjectName(QString::fromUtf8("checkBox_9"));
362 checkBox_9->setChecked(true);
363
364 formLayout_3->setWidget(0, QFormLayout::LabelRole, checkBox_9);
365
366 checkBox_13 = new QCheckBox(tab_3);
367 checkBox_13->setObjectName(QString::fromUtf8("checkBox_13"));
368 checkBox_13->setChecked(true);
369
370 formLayout_3->setWidget(1, QFormLayout::LabelRole, checkBox_13);
371
372 label_11 = new QLabel(tab_3);
373 label_11->setObjectName(QString::fromUtf8("label_11"));
374
375 formLayout_3->setWidget(2, QFormLayout::LabelRole, label_11);
376
377 lineEdit_10 = new QLineEdit(tab_3);
378 lineEdit_10->setObjectName(QString::fromUtf8("lineEdit_10"));
379
380 formLayout_3->setWidget(2, QFormLayout::FieldRole, lineEdit_10);
381
382 checkBox_10 = new QCheckBox(tab_3);
383 checkBox_10->setObjectName(QString::fromUtf8("checkBox_10"));
384
385 formLayout_3->setWidget(3, QFormLayout::SpanningRole, checkBox_10);
386
387 verticalSpacer = new QSpacerItem(20, 40, QSizePolicy::Minimum, QSizePolicy::Expanding);
388
389 formLayout_3->setItem(4, QFormLayout::LabelRole, verticalSpacer);
390
391 tabWidget->addTab(tab_3, QString());
392 tab_4 = new QWidget();
393 tab_4->setObjectName(QString::fromUtf8("tab_4"));
394 formLayout_4 = new QFormLayout(tab_4);
395 formLayout_4->setObjectName(QString::fromUtf8("formLayout_4"));
396 label_8 = new QLabel(tab_4);
397 label_8->setObjectName(QString::fromUtf8("label_8"));
398
399 formLayout_4->setWidget(0, QFormLayout::LabelRole, label_8);
400
401 lineEdit_7 = new QLineEdit(tab_4);
402 lineEdit_7->setObjectName(QString::fromUtf8("lineEdit_7"));
403
404 formLayout_4->setWidget(0, QFormLayout::FieldRole, lineEdit_7);
405
406 checkBox_12 = new QCheckBox(tab_4);
407 checkBox_12->setObjectName(QString::fromUtf8("checkBox_12"));
408
409 formLayout_4->setWidget(1, QFormLayout::FieldRole, checkBox_12);
410
411 label_9 = new QLabel(tab_4);
412 label_9->setObjectName(QString::fromUtf8("label_9"));
413
414 formLayout_4->setWidget(2, QFormLayout::LabelRole, label_9);
415
416 lineEdit_8 = new QLineEdit(tab_4);
417 lineEdit_8->setObjectName(QString::fromUtf8("lineEdit_8"));
418
419 formLayout_4->setWidget(2, QFormLayout::FieldRole, lineEdit_8);
420
421 label_10 = new QLabel(tab_4);
422 label_10->setObjectName(QString::fromUtf8("label_10"));
423
424 formLayout_4->setWidget(3, QFormLayout::LabelRole, label_10);
425
426 lineEdit_9 = new QLineEdit(tab_4);
427 lineEdit_9->setObjectName(QString::fromUtf8("lineEdit_9"));
428
429 formLayout_4->setWidget(3, QFormLayout::FieldRole, lineEdit_9);
430
431 verticalSpacer_2 = new QSpacerItem(20, 40, QSizePolicy::Minimum, QSizePolicy::Expanding);
432
433 formLayout_4->setItem(4, QFormLayout::FieldRole, verticalSpacer_2);
434
435 tabWidget->addTab(tab_4, QString());
436 tab_5 = new QWidget();
437 tab_5->setObjectName(QString::fromUtf8("tab_5"));
438 tabWidget->addTab(tab_5, QString());
439
440 verticalLayout->addWidget(tabWidget);
441
442 buttonBox = new QDialogButtonBox(Preferences);
443 buttonBox->setObjectName(QString::fromUtf8("buttonBox"));
444 buttonBox->setOrientation(Qt::Horizontal);
445 buttonBox->setStandardButtons(QDialogButtonBox::Cancel|QDialogButtonBox::Ok);
446
447 verticalLayout->addWidget(buttonBox);
448
449
450 retranslateUi(Preferences);
451 QObject::connect(buttonBox, SIGNAL(accepted()), Preferences, SLOT(accept()));
452 QObject::connect(buttonBox, SIGNAL(rejected()), Preferences, SLOT(reject()));
453
454 tabWidget->setCurrentIndex(0);
455
456
457 QMetaObject::connectSlotsByName(Preferences);
458 } // setupUi
459
460 void retranslateUi(QDialog *Preferences)
461 {
462 Preferences->setWindowTitle(QCoreApplication::translate("Preferences", "STAMINA Preferences", nullptr));
463 checkBox_4->setText(QCoreApplication::translate("Preferences", "Auto-detect model file type from extension", nullptr));
464 checkBox_5->setText(QCoreApplication::translate("Preferences", "Save modified CSL properties file", nullptr));
465 checkBox_6->setText(QCoreApplication::translate("Preferences", "Truncate Model", nullptr));
466 checkBox_7->setText(QCoreApplication::translate("Preferences", "Generate Counterexamples", nullptr));
467 checkBox_8->setText(QCoreApplication::translate("Preferences", "Create refined properties", nullptr));
468 checkBox_11->setText(QCoreApplication::translate("Preferences", "Include verbose log messages", nullptr));
469 groupBox_2->setTitle(QCoreApplication::translate("Preferences", "Editor Settings", nullptr));
470 radioButton_6->setText(QCoreApplication::translate("Preferences", "Use Tabs", nullptr));
471 radioButton_7->setText(QCoreApplication::translate("Preferences", "Use Spaces", nullptr));
472 kcombobox->setItemText(0, QCoreApplication::translate("Preferences", "8", nullptr));
473 kcombobox->setItemText(1, QCoreApplication::translate("Preferences", "4", nullptr));
474 kcombobox->setItemText(2, QCoreApplication::translate("Preferences", "2", nullptr));
475
476 label_12->setText(QCoreApplication::translate("Preferences", "Tab Size", nullptr));
477 checkBox_14->setText(QCoreApplication::translate("Preferences", "Allow code folding (not yet implemented)", nullptr));
478 tabWidget->setTabText(tabWidget->indexOf(tab), QCoreApplication::translate("Preferences", "General", nullptr));
479 label->setText(QCoreApplication::translate("Preferences", "Kappa", nullptr));
480 label_2->setText(QCoreApplication::translate("Preferences", "Kappa Reduction Factor", nullptr));
481 label_5->setText(QCoreApplication::translate("Preferences", "Window", nullptr));
482 label_3->setText(QCoreApplication::translate("Preferences", "Maximum Iterations", nullptr));
483 label_4->setText(QCoreApplication::translate("Preferences", "Maximum Approximation Iterations", nullptr));
484 label_6->setText(QCoreApplication::translate("Preferences", "File to export transitions to", nullptr));
485 label_7->setText(QCoreApplication::translate("Preferences", "File to export perimeter states to", nullptr));
486 kappa->setText(QCoreApplication::translate("Preferences", "1", nullptr));
487 lineEdit->setText(QCoreApplication::translate("Preferences", "1.25", nullptr));
488 lineEdit_4->setText(QCoreApplication::translate("Preferences", "1e-3", nullptr));
489 checkBox->setText(QCoreApplication::translate("Preferences", "Early Termination Using Property", nullptr));
490 lineEdit_2->setText(QCoreApplication::translate("Preferences", "1000", nullptr));
491 lineEdit_3->setText(QCoreApplication::translate("Preferences", "10", nullptr));
492 checkBox_2->setText(QCoreApplication::translate("Preferences", "Export Transitions", nullptr));
493 pushButton->setText(QString());
494 pushButton_2->setText(QString());
495 groupBox->setTitle(QCoreApplication::translate("Preferences", "Truncation Method", nullptr));
496 radioButton_5->setText(QCoreApplication::translate("Preferences", "Re-exploring (depricated)", nullptr));
497 radioButton->setText(QCoreApplication::translate("Preferences", "Iterative", nullptr));
498 radioButton_2->setText(QCoreApplication::translate("Preferences", "Priority", nullptr));
499 radioButton_3->setText(QCoreApplication::translate("Preferences", "Heuristic", nullptr));
500 radioButton_4->setText(QCoreApplication::translate("Preferences", "Priority Heuristic", nullptr));
501 checkBox_3->setText(QCoreApplication::translate("Preferences", "Export Perimeter States", nullptr));
502 tabWidget->setTabText(tabWidget->indexOf(tab_2), QCoreApplication::translate("Preferences", "Model Building", nullptr));
503 checkBox_9->setText(QCoreApplication::translate("Preferences", "Use Sylvan Library", nullptr));
504 checkBox_13->setText(QCoreApplication::translate("Preferences", "Use CUDD Library", nullptr));
505 label_11->setText(QCoreApplication::translate("Preferences", "CUDD Memory Limit", nullptr));
506 lineEdit_10->setText(QCoreApplication::translate("Preferences", "2G", nullptr));
507 checkBox_10->setText(QCoreApplication::translate("Preferences", "STORM Verbose log", nullptr));
508 tabWidget->setTabText(tabWidget->indexOf(tab_3), QCoreApplication::translate("Preferences", "Model Checking", nullptr));
509 label_8->setText(QCoreApplication::translate("Preferences", "Maximum distance to explore", nullptr));
510 lineEdit_7->setText(QCoreApplication::translate("Preferences", "1000000", nullptr));
511 checkBox_12->setText(QCoreApplication::translate("Preferences", "Use scaffolding method to create additional counterexamples", nullptr));
512 label_9->setText(QCoreApplication::translate("Preferences", "Maximum number of scaffolds to create", nullptr));
513 lineEdit_8->setText(QCoreApplication::translate("Preferences", "10000", nullptr));
514 label_10->setText(QCoreApplication::translate("Preferences", "Number of counterexamples to generate", nullptr));
515 lineEdit_9->setText(QCoreApplication::translate("Preferences", "0", nullptr));
516 tabWidget->setTabText(tabWidget->indexOf(tab_4), QCoreApplication::translate("Preferences", "Counter-Example Generation", nullptr));
517 tabWidget->setTabText(tabWidget->indexOf(tab_5), QCoreApplication::translate("Preferences", "Property Refinement", nullptr));
518 } // retranslateUi
519
520};
521
522namespace Ui {
523 class Preferences: public Ui_Preferences {};
524} // namespace Ui
525
526QT_END_NAMESPACE
527
528#endif // PREFERENCES_H
Ui::Preferences
Definition: ui_Preferences.h:523
Ui_Preferences
Definition: ui_Preferences.h:34
Generated by doxygen 1.9.3