Infinite state-space truncator which generates a probability within a window
List of all members
Ui::PropertyWizard Class Reference
Inheritance diagram for Ui::PropertyWizard:

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

The documentation for this class was generated from the following file: