STAMINA/STORM 0.1
Infinite state-space truncator which generates a probability within a window
|
Additional Inherited Members | |
Public Member Functions inherited from Ui_Preferences | |
void | setupUi (QDialog *Preferences) |
void | retranslateUi (QDialog *Preferences) |
Public Attributes inherited from Ui_Preferences | |
QVBoxLayout * | verticalLayout |
QTabWidget * | tabWidget |
QWidget * | tab |
QFormLayout * | formLayout |
QCheckBox * | checkBox_4 |
QCheckBox * | checkBox_5 |
QCheckBox * | checkBox_6 |
QCheckBox * | checkBox_7 |
QCheckBox * | checkBox_8 |
QCheckBox * | checkBox_11 |
QSpacerItem * | verticalSpacer_3 |
QGroupBox * | groupBox_2 |
QFormLayout * | formLayout_5 |
QRadioButton * | radioButton_6 |
QRadioButton * | radioButton_7 |
KComboBox * | kcombobox |
QLabel * | label_12 |
QCheckBox * | checkBox_14 |
QWidget * | tab_2 |
QFormLayout * | formLayout_2 |
QLabel * | label |
QLabel * | label_2 |
QLabel * | label_5 |
QLabel * | label_3 |
QLabel * | label_4 |
QLabel * | label_6 |
QLabel * | label_7 |
QLineEdit * | kappa |
QLineEdit * | lineEdit |
QLineEdit * | lineEdit_4 |
QCheckBox * | checkBox |
QLineEdit * | lineEdit_2 |
QLineEdit * | lineEdit_3 |
QCheckBox * | checkBox_2 |
QHBoxLayout * | horizontalLayout |
QLineEdit * | lineEdit_5 |
QPushButton * | pushButton |
QHBoxLayout * | horizontalLayout_2 |
QLineEdit * | lineEdit_6 |
QPushButton * | pushButton_2 |
QGroupBox * | groupBox |
QVBoxLayout * | verticalLayout_3 |
QRadioButton * | radioButton_5 |
QRadioButton * | radioButton |
QRadioButton * | radioButton_2 |
QRadioButton * | radioButton_3 |
QRadioButton * | radioButton_4 |
QSpacerItem * | verticalSpacer_4 |
QCheckBox * | checkBox_3 |
QWidget * | tab_3 |
QFormLayout * | formLayout_3 |
QCheckBox * | checkBox_9 |
QCheckBox * | checkBox_13 |
QLabel * | label_11 |
QLineEdit * | lineEdit_10 |
QCheckBox * | checkBox_10 |
QSpacerItem * | verticalSpacer |
QWidget * | tab_4 |
QFormLayout * | formLayout_4 |
QLabel * | label_8 |
QLineEdit * | lineEdit_7 |
QCheckBox * | checkBox_12 |
QLabel * | label_9 |
QLineEdit * | lineEdit_8 |
QLabel * | label_10 |
QLineEdit * | lineEdit_9 |
QSpacerItem * | verticalSpacer_2 |
QWidget * | tab_5 |
QDialogButtonBox * | buttonBox |