UiFeasibleRegionStudy.hpp

浏览该文件的文档.

 
 
#pragma once
 
#include "AstGlobal.h"
#include "AstGUI/UiObject.hpp"
#include <QWidget>
#include <QTableWidget>
#include <QTabWidget>
#include <QLabel>
#include <QPushButton>
#include <QCheckBox>
#include <QSpinBox>
#include <QDoubleSpinBox>
 
AST_NAMESPACE_BEGIN
 
class FeasibleRegionStudy;
class FeasibleRegionVariable;
class FeasibleRegionConstraint;
class Expr;
 
class AST_GUI_API UiFeasibleRegionStudy : public UiObject
{
    Q_OBJECT
public:
    explicit UiFeasibleRegionStudy(Object* object, QWidget* parent = nullptr);
    explicit UiFeasibleRegionStudy(QWidget* parent = nullptr);
    ~UiFeasibleRegionStudy() override;
 
    void setStudy(FeasibleRegionStudy* study);
    FeasibleRegionStudy* getStudy() const;
 
private slots:
    // ---- 变量表 ----
    void onAddVariable();
    void onRemoveVariable();
    void onVariableCellChanged(int row, int col);
    void onVariableExprClicked(int row);
 
    // ---- 约束表 ----
    void onAddConstraint();
    void onRemoveConstraint();
    void onConstraintCellChanged(int row, int col);
    void onConstraintExprClicked(int row);
 
private:
    void setupUi();
    void setupVariablesTab(QWidget* tab);
    void setupConstraintsTab(QWidget* tab);
    void setupSettingsTab(QWidget* tab);
    void refreshFromStudy();
    void refreshVariablesTable();
    void refreshConstraintsTable();
    void updateTotalRunsLabel();
 
    static Expr* browseExpression(QWidget* parent);
 
    // ---- 变量列索引 ----
    enum VarCol { VAR_NAME = 0, VAR_EXPR = 1, VAR_LOWER = 2, VAR_UPPER = 3, VAR_STEPS = 4, VAR_COUNT = 5 };
 
    // ---- 约束列索引 ----
    enum CtrCol { CTR_NAME = 0, CTR_EXPR = 1, CTR_USE_LOWER = 2, CTR_LOWER = 3,
                  CTR_USE_UPPER = 4, CTR_UPPER = 5, CTR_EXCLUDE = 6, CTR_COUNT = 7 };
 
    QTabWidget*    tabWidget_ = nullptr;
 
    // 变量页
    QTableWidget*  varTable_ = nullptr;
    QPushButton*   addVarBtn_ = nullptr;
    QPushButton*   removeVarBtn_ = nullptr;
 
    // 约束页
    QTableWidget*  ctrTable_ = nullptr;
    QPushButton*   addCtrBtn_ = nullptr;
    QPushButton*   removeCtrBtn_ = nullptr;
 
    // 设置页
    QLabel*        totalRunsLabel_ = nullptr;
};
 
AST_NAMESPACE_END