STAMINA/STORM 0.1
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:
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: