Infinite state-space truncator which generates a probability within a window
Public Member Functions | Public Attributes | List of all members
Ui_PropertyWizard Class Reference
Inheritance diagram for Ui_PropertyWizard:

Public Member Functions

void setupUi (QDialog *PropertyWizard)
void retranslateUi (QDialog *PropertyWizard)

Public Attributes

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: