# -*- coding: utf-8 -*-

################################################################################
## Form generated from reading UI file 'main_ui.ui'
##
## Created by: Qt User Interface Compiler version 6.6.1
##
## WARNING! All changes made in this file will be lost when recompiling UI file!
################################################################################

from PySide6.QtCore import (QCoreApplication, QDate, QDateTime, QLocale,
    QMetaObject, QObject, QPoint, QRect,
    QSize, QTime, QUrl, Qt)
from PySide6.QtGui import (QBrush, QColor, QConicalGradient, QCursor,
    QFont, QFontDatabase, QGradient, QIcon,
    QImage, QKeySequence, QLinearGradient, QPainter,
    QPalette, QPixmap, QRadialGradient, QTransform)
from PySide6.QtWidgets import (QApplication, QFrame, QGraphicsView, QHBoxLayout,
    QLabel, QLineEdit, QMainWindow, QMenuBar,
    QPushButton, QSizePolicy, QStatusBar, QVBoxLayout,
    QWidget)

class Ui_MainWindow(object):
    def setupUi(self, MainWindow):
        if not MainWindow.objectName():
            MainWindow.setObjectName(u"MainWindow")
        MainWindow.resize(1190, 923)
        font = QFont()
        font.setPointSize(16)
        MainWindow.setFont(font)
        MainWindow.setStyleSheet(u"")
        self.centralwidget = QWidget(MainWindow)
        self.centralwidget.setObjectName(u"centralwidget")
        self.centralwidget.setStyleSheet(u"")
        self.verticalLayout = QVBoxLayout(self.centralwidget)
        self.verticalLayout.setObjectName(u"verticalLayout")
        self.frame = QFrame(self.centralwidget)
        self.frame.setObjectName(u"frame")
        self.frame.setFrameShape(QFrame.StyledPanel)
        self.frame.setFrameShadow(QFrame.Raised)
        self.horizontalLayoutWidget = QWidget(self.frame)
        self.horizontalLayoutWidget.setObjectName(u"horizontalLayoutWidget")
        self.horizontalLayoutWidget.setGeometry(QRect(40, 10, 651, 222))
        self.horizontalLayout = QHBoxLayout(self.horizontalLayoutWidget)
        self.horizontalLayout.setObjectName(u"horizontalLayout")
        self.horizontalLayout.setContentsMargins(0, 0, 0, 0)
        self.p4 = QPushButton(self.horizontalLayoutWidget)
        self.p4.setObjectName(u"p4")
        self.p4.setMinimumSize(QSize(148, 220))
        self.p4.setMaximumSize(QSize(148, 16777215))

        self.horizontalLayout.addWidget(self.p4)

        self.p3 = QPushButton(self.horizontalLayoutWidget)
        self.p3.setObjectName(u"p3")
        self.p3.setMinimumSize(QSize(148, 220))
        self.p3.setMaximumSize(QSize(148, 16777215))

        self.horizontalLayout.addWidget(self.p3)

        self.p2 = QPushButton(self.horizontalLayoutWidget)
        self.p2.setObjectName(u"p2")
        self.p2.setMinimumSize(QSize(148, 220))
        self.p2.setMaximumSize(QSize(148, 16777215))

        self.horizontalLayout.addWidget(self.p2)

        self.p1 = QPushButton(self.horizontalLayoutWidget)
        self.p1.setObjectName(u"p1")
        self.p1.setMinimumSize(QSize(148, 220))
        self.p1.setMaximumSize(QSize(148, 16777215))

        self.horizontalLayout.addWidget(self.p1)

        self.lineEdit = QLineEdit(self.frame)
        self.lineEdit.setObjectName(u"lineEdit")
        self.lineEdit.setGeometry(QRect(40, 230, 821, 31))
        self.label_result = QLabel(self.frame)
        self.label_result.setObjectName(u"label_result")
        self.label_result.setGeometry(QRect(880, 230, 141, 31))
        self.label_result.setStyleSheet(u"background-color:rgb(74, 203, 105)")
        self.label_result.setAlignment(Qt.AlignCenter)
        self.label_TF = QLabel(self.frame)
        self.label_TF.setObjectName(u"label_TF")
        self.label_TF.setGeometry(QRect(1030, 230, 31, 31))
        self.label_TF.setStyleSheet(u"background-color:rgb(219, 205, 166)")
        self.label_TF.setAlignment(Qt.AlignCenter)
        self.pushButton = QPushButton(self.frame)
        self.pushButton.setObjectName(u"pushButton")
        self.pushButton.setGeometry(QRect(1080, 220, 81, 51))
        font1 = QFont()
        font1.setPointSize(16)
        font1.setBold(True)
        self.pushButton.setFont(font1)
        self.pushButton.setStyleSheet(u"")
        self.pushButton_q = QPushButton(self.frame)
        self.pushButton_q.setObjectName(u"pushButton_q")
        self.pushButton_q.setGeometry(QRect(950, 50, 151, 51))
        self.pushButton_q.setFont(font1)
        self.pushButton_ex = QPushButton(self.frame)
        self.pushButton_ex.setObjectName(u"pushButton_ex")
        self.pushButton_ex.setGeometry(QRect(950, 130, 151, 51))
        self.pushButton_ex.setFont(font1)
        self.pushButton_autosv = QPushButton(self.frame)
        self.pushButton_autosv.setObjectName(u"pushButton_autosv")
        self.pushButton_autosv.setGeometry(QRect(40, 270, 141, 41))
        self.pushButton_autosv.setFont(font1)
        self.pushButton_dtree = QPushButton(self.frame)
        self.pushButton_dtree.setObjectName(u"pushButton_dtree")
        self.pushButton_dtree.setGeometry(QRect(200, 270, 141, 41))
        self.pushButton_dtree.setFont(font1)
        self.pushButton_allan = QPushButton(self.frame)
        self.pushButton_allan.setObjectName(u"pushButton_allan")
        self.pushButton_allan.setGeometry(QRect(360, 270, 141, 41))
        self.pushButton_allan.setFont(font1)
        self.pushButton_exp = QPushButton(self.frame)
        self.pushButton_exp.setObjectName(u"pushButton_exp")
        self.pushButton_exp.setGeometry(QRect(520, 270, 141, 41))
        self.pushButton_exp.setFont(font1)
        self.pushButton_ast = QPushButton(self.frame)
        self.pushButton_ast.setObjectName(u"pushButton_ast")
        self.pushButton_ast.setGeometry(QRect(690, 270, 141, 41))
        self.pushButton_ast.setFont(font1)
        self.pushButton_check_te = QPushButton(self.frame)
        self.pushButton_check_te.setObjectName(u"pushButton_check_te")
        self.pushButton_check_te.setGeometry(QRect(860, 270, 141, 41))
        self.pushButton_check_te.setFont(font1)
        self.label = QLabel(self.frame)
        self.label.setObjectName(u"label")
        self.label.setGeometry(QRect(760, 170, 101, 31))
        self.p1_selected = QPushButton(self.frame)
        self.p1_selected.setObjectName(u"p1_selected")
        self.p1_selected.setGeometry(QRect(750, 20, 100, 150))
        self.p1_selected.setMinimumSize(QSize(100, 150))
        self.p1_selected.setMaximumSize(QSize(100, 150))

        self.verticalLayout.addWidget(self.frame)

        self.line = QFrame(self.centralwidget)
        self.line.setObjectName(u"line")
        self.line.setMinimumSize(QSize(0, 0))
        self.line.setFrameShape(QFrame.HLine)
        self.line.setFrameShadow(QFrame.Sunken)

        self.verticalLayout.addWidget(self.line)

        self.frame_2 = QFrame(self.centralwidget)
        self.frame_2.setObjectName(u"frame_2")
        self.frame_2.setFrameShape(QFrame.StyledPanel)
        self.frame_2.setFrameShadow(QFrame.Raised)
        self.graphicsView = QGraphicsView(self.frame_2)
        self.graphicsView.setObjectName(u"graphicsView")
        self.graphicsView.setGeometry(QRect(0, 0, 1000, 541))
        self.pushButton_add = QPushButton(self.frame_2)
        self.pushButton_add.setObjectName(u"pushButton_add")
        self.pushButton_add.setGeometry(QRect(1040, 120, 41, 41))
        font2 = QFont()
        font2.setPointSize(24)
        font2.setBold(False)
        self.pushButton_add.setFont(font2)
        self.pushButton_add.setStyleSheet(u"")
        self.pushButton_sub = QPushButton(self.frame_2)
        self.pushButton_sub.setObjectName(u"pushButton_sub")
        self.pushButton_sub.setGeometry(QRect(1090, 120, 41, 41))
        self.pushButton_sub.setFont(font2)
        self.pushButton_sub.setStyleSheet(u"")
        self.pushButton_div = QPushButton(self.frame_2)
        self.pushButton_div.setObjectName(u"pushButton_div")
        self.pushButton_div.setGeometry(QRect(1090, 170, 41, 41))
        self.pushButton_div.setFont(font2)
        self.pushButton_div.setStyleSheet(u"")
        self.pushButton_mul = QPushButton(self.frame_2)
        self.pushButton_mul.setObjectName(u"pushButton_mul")
        self.pushButton_mul.setGeometry(QRect(1040, 170, 41, 41))
        self.pushButton_mul.setFont(font2)
        self.pushButton_mul.setStyleSheet(u"")
        self.add_ops_node = QPushButton(self.frame_2)
        self.add_ops_node.setObjectName(u"add_ops_node")
        self.add_ops_node.setGeometry(QRect(1020, 220, 141, 41))
        font3 = QFont()
        font3.setPointSize(14)
        font3.setBold(False)
        self.add_ops_node.setFont(font3)
        self.add_val_node = QPushButton(self.frame_2)
        self.add_val_node.setObjectName(u"add_val_node")
        self.add_val_node.setGeometry(QRect(1020, 270, 141, 41))
        self.add_val_node.setFont(font3)
        self.ex_node_value = QPushButton(self.frame_2)
        self.ex_node_value.setObjectName(u"ex_node_value")
        self.ex_node_value.setGeometry(QRect(1020, 320, 141, 41))
        self.ex_node_value.setFont(font3)
        self.ex_node_ops = QPushButton(self.frame_2)
        self.ex_node_ops.setObjectName(u"ex_node_ops")
        self.ex_node_ops.setGeometry(QRect(1020, 370, 141, 41))
        self.ex_node_ops.setFont(font3)
        self.ex_node_self = QPushButton(self.frame_2)
        self.ex_node_self.setObjectName(u"ex_node_self")
        self.ex_node_self.setGeometry(QRect(1020, 420, 141, 41))
        self.ex_node_self.setFont(font3)
        self.label_2 = QLabel(self.frame_2)
        self.label_2.setObjectName(u"label_2")
        self.label_2.setGeometry(QRect(1030, 70, 121, 41))
        self.lb_ops_selected = QLabel(self.frame_2)
        self.lb_ops_selected.setObjectName(u"lb_ops_selected")
        self.lb_ops_selected.setGeometry(QRect(1060, 10, 53, 51))
        font4 = QFont()
        font4.setPointSize(18)
        font4.setBold(True)
        self.lb_ops_selected.setFont(font4)
        self.lb_ops_selected.setStyleSheet(u"background-color:rgb(255, 255, 255)")
        self.lb_ops_selected.setAlignment(Qt.AlignCenter)
        self.clear_button = QPushButton(self.frame_2)
        self.clear_button.setObjectName(u"clear_button")
        self.clear_button.setGeometry(QRect(1020, 470, 141, 41))
        self.clear_button.setFont(font3)

        self.verticalLayout.addWidget(self.frame_2)

        self.verticalLayout.setStretch(0, 3)
        self.verticalLayout.setStretch(2, 5)
        MainWindow.setCentralWidget(self.centralwidget)
        self.menubar = QMenuBar(MainWindow)
        self.menubar.setObjectName(u"menubar")
        self.menubar.setGeometry(QRect(0, 0, 1190, 33))
        MainWindow.setMenuBar(self.menubar)
        self.statusbar = QStatusBar(MainWindow)
        self.statusbar.setObjectName(u"statusbar")
        MainWindow.setStatusBar(self.statusbar)

        self.retranslateUi(MainWindow)

        QMetaObject.connectSlotsByName(MainWindow)
    # setupUi

    def retranslateUi(self, MainWindow):
        MainWindow.setWindowTitle(QCoreApplication.translate("MainWindow", u"\u8ba1\u7b97\u601d\u7ef424\u70b9", None))
        self.p4.setText("")
        self.p3.setText("")
        self.p2.setText("")
        self.p1.setText("")
        self.label_result.setText(QCoreApplication.translate("MainWindow", u"  = \uff1f", None))
        self.label_TF.setText("")
        self.pushButton.setText(QCoreApplication.translate("MainWindow", u"\u8ba1\u7b97", None))
        self.pushButton_q.setText(QCoreApplication.translate("MainWindow", u"\u51fa\u9898", None))
        self.pushButton_ex.setText(QCoreApplication.translate("MainWindow", u"\u6362\u724c", None))
#if QT_CONFIG(tooltip)
        self.pushButton_autosv.setToolTip(QCoreApplication.translate("MainWindow", u"<html><head/><body><p>\u81ea\u52a8\u6839\u636e\u724c\u9762\u8ba1\u7b97\u4e00\u4e2a24\u70b9\u7684\u8868\u8fbe\u5f0f\uff0c\u5e76\u4e14\u753b\u51fa\u8bed\u6cd5\u6811\u3002</p></body></html>", None))
#endif // QT_CONFIG(tooltip)
#if QT_CONFIG(whatsthis)
        self.pushButton_autosv.setWhatsThis(QCoreApplication.translate("MainWindow", u"<html><head/><body><p><br/></p></body></html>", None))
#endif // QT_CONFIG(whatsthis)
        self.pushButton_autosv.setText(QCoreApplication.translate("MainWindow", u"\u81ea\u52a8\u6c42\u89e3", None))
#if QT_CONFIG(tooltip)
        self.pushButton_dtree.setToolTip(QCoreApplication.translate("MainWindow", u"<html><head/><body><p>\u6839\u636e\u8868\u8fbe\u5f0f\u753b\u51fa\u5bf9\u5e94\u7684\u8bed\u6cd5\u6811\u3002</p></body></html>", None))
#endif // QT_CONFIG(tooltip)
        self.pushButton_dtree.setText(QCoreApplication.translate("MainWindow", u"\u753b\u6811", None))
#if QT_CONFIG(tooltip)
        self.pushButton_allan.setToolTip(QCoreApplication.translate("MainWindow", u"<html><head/><body><p>\u53ef\u4ee5\u591a\u6b21\u70b9\u51fb\u5207\u6362\u6240\u6709\u7b26\u5408\u8981\u6c42\u7684\u8868\u8fbe\u5f0f\uff0c\u5e76\u540c\u6b65\u753b\u51fa\u8bed\u6cd5\u6811\u3002</p></body></html>", None))
#endif // QT_CONFIG(tooltip)
        self.pushButton_allan.setText(QCoreApplication.translate("MainWindow", u"\u6240\u6709\u7b54\u6848", None))
#if QT_CONFIG(tooltip)
        self.pushButton_exp.setToolTip(QCoreApplication.translate("MainWindow", u"<html><head/><body><p>\u4ece\u8bed\u6cd5\u6811\u751f\u6210\u8868\u8fbe\u5f0f\u3002</p></body></html>", None))
#endif // QT_CONFIG(tooltip)
        self.pushButton_exp.setText(QCoreApplication.translate("MainWindow", u"\u751f\u6210\u8868\u8fbe\u5f0f", None))
#if QT_CONFIG(tooltip)
        self.pushButton_ast.setToolTip(QCoreApplication.translate("MainWindow", u"<html><head/><body><p>\u4ece\u8868\u8fbe\u5f0f\u751f\u6210\u8bed\u6cd5\u6811\u3002</p></body></html>", None))
#endif // QT_CONFIG(tooltip)
        self.pushButton_ast.setText(QCoreApplication.translate("MainWindow", u"\u751f\u6210\u8bed\u6cd5\u6811", None))
#if QT_CONFIG(tooltip)
        self.pushButton_check_te.setToolTip(QCoreApplication.translate("MainWindow", u"<html><head/><body><p>\u68c0\u67e5\u8868\u8fbe\u5f0f\u548c\u8bed\u6cd5\u6811\u662f\u5426\u7b49\u6548\u3002</p></body></html>", None))
#endif // QT_CONFIG(tooltip)
        self.pushButton_check_te.setText(QCoreApplication.translate("MainWindow", u"\u4e00\u81f4\u6027\u68c0\u67e5", None))
        self.label.setText(QCoreApplication.translate("MainWindow", u"\u5df2\u9009\u724c\u9762", None))
        self.p1_selected.setText("")
        self.pushButton_add.setText(QCoreApplication.translate("MainWindow", u"+", None))
        self.pushButton_sub.setText(QCoreApplication.translate("MainWindow", u"-", None))
        self.pushButton_div.setText(QCoreApplication.translate("MainWindow", u"/", None))
        self.pushButton_mul.setText(QCoreApplication.translate("MainWindow", u"*", None))
#if QT_CONFIG(tooltip)
        self.add_ops_node.setToolTip(QCoreApplication.translate("MainWindow", u"<html><head/><body><p>\u5728\u5de6\u4fa7\u8bed\u6cd5\u6811\u533a\u57df\u9009\u62e9\u4e24\u4e2a\u53f6\u5b50\u8282\u70b9\u540e\uff0c\u9009\u62e9\u597d\u8981\u6dfb\u52a0\u7684\u8fd0\u7b97\u7b26\u540e\uff0c\u53ef\u4ee5\u6dfb\u52a0\u8fd0\u7b97\u7b26\u5e76\u7ec4\u6210\u65b0\u7684\u8bed\u6cd5\u6811\u3002</p></body></html>", None))
#endif // QT_CONFIG(tooltip)
        self.add_ops_node.setText(QCoreApplication.translate("MainWindow", u"\u6dfb\u52a0\u8fd0\u7b97\u8282\u70b9", None))
#if QT_CONFIG(tooltip)
        self.add_val_node.setToolTip(QCoreApplication.translate("MainWindow", u"<html><head/><body><p>\u6839\u636e\u5df2\u9009\u724c\u9762\u7684\u503c\uff0c\u5411\u5de6\u4fa7\u533a\u57df\u6dfb\u52a0\u4e00\u4e2a\u6570\u503c\u8282\u70b9\u3002</p></body></html>", None))
#endif // QT_CONFIG(tooltip)
        self.add_val_node.setText(QCoreApplication.translate("MainWindow", u"\u6dfb\u52a0\u6570\u503c\u8282\u70b9", None))
#if QT_CONFIG(tooltip)
        self.ex_node_value.setToolTip(QCoreApplication.translate("MainWindow", u"<html><head/><body><p>\u4fee\u6539\u6570\u503c\u8282\u70b9\u7684\u503c\uff0c\u5c06\u8bed\u6cd5\u6811\u4e2d\u9009\u4e2d\u7684\u6570\u503c\u8282\u70b9\u7684\u503c\u4fee\u6539\u4e3a\u5df2\u9009\u724c\u9762\u7684\u503c\u3002</p></body></html>", None))
#endif // QT_CONFIG(tooltip)
        self.ex_node_value.setText(QCoreApplication.translate("MainWindow", u"\u6539\u53d8\u8fd0\u7b97\u8f93\u5165", None))
#if QT_CONFIG(tooltip)
        self.ex_node_ops.setToolTip(QCoreApplication.translate("MainWindow", u"<html><head/><body><p>\u6839\u636e\u5df2\u9009\u8fd0\u7b97\u7b26\uff0c\u4fee\u6539\u5df2\u9009\u8bed\u6cd5\u6811\u4e2d\u8fd0\u7b97\u7b26\u8282\u70b9\u7684\u503c\u3002</p></body></html>", None))
#endif // QT_CONFIG(tooltip)
        self.ex_node_ops.setText(QCoreApplication.translate("MainWindow", u"\u6539\u53d8\u8282\u70b9\u8fd0\u7b97", None))
#if QT_CONFIG(tooltip)
        self.ex_node_self.setToolTip(QCoreApplication.translate("MainWindow", u"<html><head/><body><p>\u4ea4\u6362\u8bed\u6cd5\u6811\u4e2d\u4e24\u4e2a\u5df2\u9009\u7684\u6570\u503c\u8282\u70b9\u3002</p></body></html>", None))
#endif // QT_CONFIG(tooltip)
        self.ex_node_self.setText(QCoreApplication.translate("MainWindow", u"\u6570\u503c\u8282\u70b9\u4ea4\u6362", None))
        self.label_2.setText(QCoreApplication.translate("MainWindow", u"\u5df2\u9009\u8fd0\u7b97\u7b26", None))
        self.lb_ops_selected.setText("")
        self.clear_button.setText(QCoreApplication.translate("MainWindow", u"\u6e05\u7a7a\u753b\u5e03", None))
    # retranslateUi