STAMINA/STORM 0.1
Infinite state-space truncator which generates a probability within a window
|
Additional Inherited Members | |
Public Member Functions inherited from Ui_PropertyWizard | |
void | setupUi (QDialog *PropertyWizard) |
void | retranslateUi (QDialog *PropertyWizard) |
Public Attributes inherited from Ui_PropertyWizard | |
QVBoxLayout * | verticalLayout |
QHBoxLayout * | horizontalLayout |
KComboBox * | prefixLeft |
KComboBox * | prefixOperand |
KComboBox * | prefixRight |
QSpacerItem * | horizontalSpacer |
QTreeWidget * | propertyTree |
QHBoxLayout * | horizontalLayout_2 |
QComboBox * | expressionType |
KComboBox * | expressionOptions |
QToolButton * | addExpression |
QToolButton * | deleteExpression |
QDialogButtonBox * | buttonBox |