STAMINA/STORM 0.1
Infinite state-space truncator which generates a probability within a window
Public Member Functions | Protected Member Functions | Protected Attributes | List of all members
stamina::gui::PropertyWizard Class Reference
Inheritance diagram for stamina::gui::PropertyWizard:

Public Member Functions

 PropertyWizard (QWidget *parent=nullptr)
 

Protected Member Functions

void setupActions ()
 
void insertOperand (QString opString, operandType_t opType)
 

Protected Attributes

Ui::PropertyWizard ui
 
std::vector< QString > variables
 

Member Function Documentation

◆ insertOperand()

void stamina::gui::PropertyWizard::insertOperand ( QString  opString,
operandType_t  opType 
)
protected

Inserts into the operand tree. Will insert over "EMPTY" if selected. If no "EMPTY" is selected, raises messagebox

Parameters
opStringThe string of the operand
opTypeThe type of the Operand

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