def setupUi(self, MainWindow): MainWindow.setObjectName(_fromUtf8("MainWindow")) MainWindow.resize(458, 507) sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.Preferred, QtGui.QSizePolicy.Preferred) sizePolicy.setHorizontalStretch(5) sizePolicy.setVerticalStretch(5) sizePolicy.setHeightForWidth(MainWindow.sizePolicy().hasHeightForWidth()) MainWindow.setSizePolicy(sizePolicy) MainWindow.setMaximumSize(QtCore.QSize(600, 700)) self.centralwidget = QtGui.QWidget(MainWindow) self.centralwidget.setObjectName(_fromUtf8("centralwidget")) self.gridLayout = QtGui.QGridLayout(self.centralwidget) self.gridLayout.setObjectName(_fromUtf8("gridLayout")) self.labelStart = QtGui.QLabel(self.centralwidget) sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.Fixed, QtGui.QSizePolicy.Fixed) sizePolicy.setHorizontalStretch(0) sizePolicy.setVerticalStretch(0) sizePolicy.setHeightForWidth(self.labelStart.sizePolicy().hasHeightForWidth()) self.labelStart.setSizePolicy(sizePolicy) self.labelStart.setObjectName(_fromUtf8("labelStart")) self.gridLayout.addWidget(self.labelStart, 0, 1, 1, 1) self.groupBox_InitialG = QtGui.QGroupBox(self.centralwidget) sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.Fixed, QtGui.QSizePolicy.Fixed) sizePolicy.setHorizontalStretch(0) sizePolicy.setVerticalStretch(0) sizePolicy.setHeightForWidth(self.groupBox_InitialG.sizePolicy().hasHeightForWidth()) self.groupBox_InitialG.setSizePolicy(sizePolicy) self.groupBox_InitialG.setMinimumSize(QtCore.QSize(150, 150)) self.groupBox_InitialG.setStyleSheet(_fromUtf8("QGroupBox{\n" "border: 2px solid gray;\n" "border-radius: 10px;\n" "padding: 0.8px;\n" "background: white;\n" "selection-background-color: darkgray;\n" "}\n" "\n" "QGroupBox::title {\n" " subcontrol-origin: margin;\n" " subcontrol-position: top center; /* position at the top center */\n" " padding: 0 3px;\n" " margin-top: 0px;\n" " }")) self.groupBox_InitialG.setObjectName(_fromUtf8("groupBox_InitialG")) self.textEdit_nV = QtGui.QTextEdit(self.groupBox_InitialG) self.textEdit_nV.setGeometry(QtCore.QRect(60, 30, 61, 21)) sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.Fixed, QtGui.QSizePolicy.Fixed) sizePolicy.setHorizontalStretch(0) sizePolicy.setVerticalStretch(0) sizePolicy.setHeightForWidth(self.textEdit_nV.sizePolicy().hasHeightForWidth()) self.textEdit_nV.setSizePolicy(sizePolicy) self.textEdit_nV.setInputMethodHints(QtCore.Qt.ImhDigitsOnly) self.textEdit_nV.setVerticalScrollBarPolicy(QtCore.Qt.ScrollBarAlwaysOff) self.textEdit_nV.setHorizontalScrollBarPolicy(QtCore.Qt.ScrollBarAlwaysOff) self.textEdit_nV.setObjectName(_fromUtf8("textEdit_nV")) self.label = QtGui.QLabel(self.groupBox_InitialG) self.label.setGeometry(QtCore.QRect(10, 30, 41, 21)) self.label.setObjectName(_fromUtf8("label")) self.label_2 = QtGui.QLabel(self.groupBox_InitialG) self.label_2.setGeometry(QtCore.QRect(10, 60, 41, 21)) self.label_2.setObjectName(_fromUtf8("label_2")) self.textEdit_nE = QtGui.QTextEdit(self.groupBox_InitialG) self.textEdit_nE.setGeometry(QtCore.QRect(60, 60, 61, 21)) self.textEdit_nE.setInputMethodHints(QtCore.Qt.ImhDigitsOnly) self.textEdit_nE.setVerticalScrollBarPolicy(QtCore.Qt.ScrollBarAlwaysOff) self.textEdit_nE.setHorizontalScrollBarPolicy(QtCore.Qt.ScrollBarAlwaysOff) self.textEdit_nE.setObjectName(_fromUtf8("textEdit_nE")) self.pButton_generateG = QtGui.QPushButton(self.groupBox_InitialG) self.pButton_generateG.setGeometry(QtCore.QRect(30, 90, 81, 23)) self.pButton_generateG.setObjectName(_fromUtf8("pButton_generateG")) self.pbuttonSave_InitialG = QtGui.QPushButton(self.groupBox_InitialG) self.pbuttonSave_InitialG.setGeometry(QtCore.QRect(30, 120, 81, 23)) self.pbuttonSave_InitialG.setObjectName(_fromUtf8("pbuttonSave_InitialG")) self.gridLayout.addWidget(self.groupBox_InitialG, 1, 0, 1, 1) self.labelResult = QtGui.QLabel(self.centralwidget) sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.Fixed, QtGui.QSizePolicy.Fixed) sizePolicy.setHorizontalStretch(0) sizePolicy.setVerticalStretch(0) sizePolicy.setHeightForWidth(self.labelResult.sizePolicy().hasHeightForWidth()) self.labelResult.setSizePolicy(sizePolicy) self.labelResult.setObjectName(_fromUtf8("labelResult")) self.gridLayout.addWidget(self.labelResult, 2, 1, 1, 1) self.groupBox_GDrawing = QtGui.QGroupBox(self.centralwidget) self.groupBox_GDrawing.setEnabled(True) sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.Fixed, QtGui.QSizePolicy.Fixed) sizePolicy.setHorizontalStretch(0) sizePolicy.setVerticalStretch(0) sizePolicy.setHeightForWidth(self.groupBox_GDrawing.sizePolicy().hasHeightForWidth()) self.groupBox_GDrawing.setSizePolicy(sizePolicy) self.groupBox_GDrawing.setMinimumSize(QtCore.QSize(150, 150)) self.groupBox_GDrawing.setStyleSheet(_fromUtf8("QGroupBox{\n" "border: 2px solid gray;\n" "border-radius: 10px;\n" "padding: 0.8px;\n" "background: white;\n" "selection-background-color: darkgray;\n" "}\n" "\n" "QGroupBox::title {\n" " subcontrol-origin: margin;\n" " subcontrol-position: top center; /* position at the top center */\n" " padding: 0 3px;\n" " margin-top: 0px;\n" " }")) self.groupBox_GDrawing.setObjectName(_fromUtf8("groupBox_GDrawing")) self.pbuttonStart = QtGui.QPushButton(self.groupBox_GDrawing) self.pbuttonStart.setEnabled(False) self.pbuttonStart.setGeometry(QtCore.QRect(40, 40, 61, 23)) self.pbuttonStart.setObjectName(_fromUtf8("pbuttonStart")) self.pbuttonStep = QtGui.QPushButton(self.groupBox_GDrawing) self.pbuttonStep.setEnabled(False) self.pbuttonStep.setGeometry(QtCore.QRect(40, 70, 61, 23)) self.pbuttonStep.setObjectName(_fromUtf8("pbuttonStep")) self.pbuttonSave = QtGui.QPushButton(self.groupBox_GDrawing) self.pbuttonSave.setEnabled(False) self.pbuttonSave.setGeometry(QtCore.QRect(40, 100, 61, 23)) self.pbuttonSave.setObjectName(_fromUtf8("pbuttonSave")) self.gridLayout.addWidget(self.groupBox_GDrawing, 3, 0, 1, 1) self.MatplotlibWidget2 = matplotlibWidget(self.centralwidget) sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.Expanding, QtGui.QSizePolicy.Expanding) sizePolicy.setHorizontalStretch(0) sizePolicy.setVerticalStretch(0) sizePolicy.setHeightForWidth(self.MatplotlibWidget2.sizePolicy().hasHeightForWidth()) self.MatplotlibWidget2.setSizePolicy(sizePolicy) self.MatplotlibWidget2.setMinimumSize(QtCore.QSize(200, 200)) self.MatplotlibWidget2.setStyleSheet(_fromUtf8("background-color: rgb(255, 255, 255);")) self.MatplotlibWidget2.setObjectName(_fromUtf8("MatplotlibWidget2")) self.gridLayout.addWidget(self.MatplotlibWidget2, 3, 1, 1, 1) self.MatplotlibWidget1 = matplotlibWidget(self.centralwidget) sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.Expanding, QtGui.QSizePolicy.Expanding) sizePolicy.setHorizontalStretch(0) sizePolicy.setVerticalStretch(0) sizePolicy.setHeightForWidth(self.MatplotlibWidget1.sizePolicy().hasHeightForWidth()) self.MatplotlibWidget1.setSizePolicy(sizePolicy) self.MatplotlibWidget1.setMinimumSize(QtCore.QSize(200, 200)) self.MatplotlibWidget1.setStyleSheet(_fromUtf8("background-color: rgb(255, 255, 255);")) self.MatplotlibWidget1.setObjectName(_fromUtf8("MatplotlibWidget1")) self.gridLayout.addWidget(self.MatplotlibWidget1, 1, 1, 1, 1) MainWindow.setCentralWidget(self.centralwidget) self.menubar = QtGui.QMenuBar(MainWindow) self.menubar.setGeometry(QtCore.QRect(0, 0, 458, 20)) self.menubar.setObjectName(_fromUtf8("menubar")) MainWindow.setMenuBar(self.menubar) self.toolBar = QtGui.QToolBar(MainWindow) self.toolBar.setObjectName(_fromUtf8("toolBar")) MainWindow.addToolBar(QtCore.Qt.TopToolBarArea, self.toolBar) self.retranslateUi(MainWindow) QtCore.QMetaObject.connectSlotsByName(MainWindow)
def setupUi(self, MainWindow): MainWindow.setObjectName(_fromUtf8("MainWindow")) MainWindow.resize(1255, 620) sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.Fixed, QtGui.QSizePolicy.Fixed) sizePolicy.setHorizontalStretch(5) sizePolicy.setVerticalStretch(5) sizePolicy.setHeightForWidth( MainWindow.sizePolicy().hasHeightForWidth()) MainWindow.setSizePolicy(sizePolicy) MainWindow.setMinimumSize(QtCore.QSize(0, 620)) MainWindow.setMaximumSize(QtCore.QSize(1255, 620)) self.centralwidget = QtGui.QWidget(MainWindow) self.centralwidget.setObjectName(_fromUtf8("centralwidget")) self.labelStart = QtGui.QLabel(self.centralwidget) self.labelStart.setGeometry(QtCore.QRect(170, 10, 411, 17)) sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.Fixed, QtGui.QSizePolicy.Fixed) sizePolicy.setHorizontalStretch(0) sizePolicy.setVerticalStretch(0) sizePolicy.setHeightForWidth( self.labelStart.sizePolicy().hasHeightForWidth()) self.labelStart.setSizePolicy(sizePolicy) font = QtGui.QFont() font.setPointSize(10) font.setBold(True) font.setWeight(75) self.labelStart.setFont(font) self.labelStart.setObjectName(_fromUtf8("labelStart")) self.labelResult = QtGui.QLabel(self.centralwidget) self.labelResult.setGeometry(QtCore.QRect(709, 10, 521, 17)) sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.Preferred, QtGui.QSizePolicy.Preferred) sizePolicy.setHorizontalStretch(0) sizePolicy.setVerticalStretch(0) sizePolicy.setHeightForWidth( self.labelResult.sizePolicy().hasHeightForWidth()) self.labelResult.setSizePolicy(sizePolicy) self.labelResult.setMinimumSize(QtCore.QSize(0, 0)) self.labelResult.setMaximumSize(QtCore.QSize(16777215, 100)) font = QtGui.QFont() font.setPointSize(10) font.setBold(True) font.setWeight(75) self.labelResult.setFont(font) self.labelResult.setObjectName(_fromUtf8("labelResult")) self.groupBox_InitialG = QtGui.QGroupBox(self.centralwidget) self.groupBox_InitialG.setGeometry(QtCore.QRect(10, 10, 150, 100)) sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.Fixed, QtGui.QSizePolicy.Fixed) sizePolicy.setHorizontalStretch(0) sizePolicy.setVerticalStretch(0) sizePolicy.setHeightForWidth( self.groupBox_InitialG.sizePolicy().hasHeightForWidth()) self.groupBox_InitialG.setSizePolicy(sizePolicy) self.groupBox_InitialG.setMinimumSize(QtCore.QSize(150, 100)) self.groupBox_InitialG.setMaximumSize(QtCore.QSize(16777215, 100)) self.groupBox_InitialG.setStyleSheet( _fromUtf8( "QGroupBox{\n" "border: 2px solid gray;\n" "border-radius: 10px;\n" "padding: 0.8px;\n" "background: white;\n" "selection-background-color: darkgray;\n" "}\n" "\n" "QGroupBox::title {\n" " subcontrol-origin: margin;\n" " subcontrol-position: top center; /* position at the top center */\n" " padding: 0 3px;\n" " margin-top: 0px;\n" " }")) self.groupBox_InitialG.setObjectName(_fromUtf8("groupBox_InitialG")) self.textEdit_h = QtGui.QTextEdit(self.groupBox_InitialG) self.textEdit_h.setGeometry(QtCore.QRect(60, 20, 61, 21)) sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.Fixed, QtGui.QSizePolicy.Fixed) sizePolicy.setHorizontalStretch(0) sizePolicy.setVerticalStretch(0) sizePolicy.setHeightForWidth( self.textEdit_h.sizePolicy().hasHeightForWidth()) self.textEdit_h.setSizePolicy(sizePolicy) self.textEdit_h.setInputMethodHints(QtCore.Qt.ImhDigitsOnly) self.textEdit_h.setVerticalScrollBarPolicy( QtCore.Qt.ScrollBarAlwaysOff) self.textEdit_h.setHorizontalScrollBarPolicy( QtCore.Qt.ScrollBarAlwaysOff) self.textEdit_h.setObjectName(_fromUtf8("textEdit_h")) self.label = QtGui.QLabel(self.groupBox_InitialG) self.label.setGeometry(QtCore.QRect(10, 20, 41, 21)) self.label.setObjectName(_fromUtf8("label")) self.label_2 = QtGui.QLabel(self.groupBox_InitialG) self.label_2.setGeometry(QtCore.QRect(10, 40, 41, 21)) self.label_2.setObjectName(_fromUtf8("label_2")) self.textEdit_nV = QtGui.QTextEdit(self.groupBox_InitialG) self.textEdit_nV.setEnabled(False) self.textEdit_nV.setGeometry(QtCore.QRect(60, 40, 61, 21)) self.textEdit_nV.setInputMethodHints(QtCore.Qt.ImhDigitsOnly) self.textEdit_nV.setVerticalScrollBarPolicy( QtCore.Qt.ScrollBarAlwaysOff) self.textEdit_nV.setHorizontalScrollBarPolicy( QtCore.Qt.ScrollBarAlwaysOff) self.textEdit_nV.setObjectName(_fromUtf8("textEdit_nV")) self.pButton_generateG = QtGui.QPushButton(self.groupBox_InitialG) self.pButton_generateG.setGeometry(QtCore.QRect(30, 70, 81, 23)) self.pButton_generateG.setObjectName(_fromUtf8("pButton_generateG")) self.MatplotlibWidget1 = matplotlibWidget(self.centralwidget) self.MatplotlibWidget1.setGeometry(QtCore.QRect(165, 30, 538, 532)) sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.Expanding, QtGui.QSizePolicy.Expanding) sizePolicy.setHorizontalStretch(0) sizePolicy.setVerticalStretch(0) sizePolicy.setHeightForWidth( self.MatplotlibWidget1.sizePolicy().hasHeightForWidth()) self.MatplotlibWidget1.setSizePolicy(sizePolicy) self.MatplotlibWidget1.setMinimumSize(QtCore.QSize(530, 530)) self.MatplotlibWidget1.setStyleSheet( _fromUtf8("background-color: rgb(255, 255, 255);")) self.MatplotlibWidget1.setObjectName(_fromUtf8("MatplotlibWidget1")) self.MatplotlibWidget2 = matplotlibWidget(self.centralwidget) self.MatplotlibWidget2.setGeometry(QtCore.QRect(709, 30, 537, 532)) sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.Expanding, QtGui.QSizePolicy.Expanding) sizePolicy.setHorizontalStretch(0) sizePolicy.setVerticalStretch(0) sizePolicy.setHeightForWidth( self.MatplotlibWidget2.sizePolicy().hasHeightForWidth()) self.MatplotlibWidget2.setSizePolicy(sizePolicy) self.MatplotlibWidget2.setMinimumSize(QtCore.QSize(530, 530)) self.MatplotlibWidget2.setStyleSheet( _fromUtf8("background-color: rgb(255, 255, 255);")) self.MatplotlibWidget2.setObjectName(_fromUtf8("MatplotlibWidget2")) self.groupBox_GDrawing = QtGui.QGroupBox(self.centralwidget) self.groupBox_GDrawing.setEnabled(True) self.groupBox_GDrawing.setGeometry(QtCore.QRect(10, 200, 150, 100)) sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.Fixed, QtGui.QSizePolicy.Fixed) sizePolicy.setHorizontalStretch(0) sizePolicy.setVerticalStretch(0) sizePolicy.setHeightForWidth( self.groupBox_GDrawing.sizePolicy().hasHeightForWidth()) self.groupBox_GDrawing.setSizePolicy(sizePolicy) self.groupBox_GDrawing.setMinimumSize(QtCore.QSize(150, 100)) self.groupBox_GDrawing.setMaximumSize(QtCore.QSize(150, 100)) self.groupBox_GDrawing.setStyleSheet( _fromUtf8( "QGroupBox{\n" "border: 2px solid gray;\n" "border-radius: 10px;\n" "padding: 0.8px;\n" "background: white;\n" "selection-background-color: darkgray;\n" "}\n" "\n" "QGroupBox::title {\n" " subcontrol-origin: margin;\n" " subcontrol-position: top center; /* position at the top center */\n" " padding: 0 3px;\n" " margin-top: 0px;\n" " }")) self.groupBox_GDrawing.setObjectName(_fromUtf8("groupBox_GDrawing")) self.pbuttonStart = QtGui.QPushButton(self.groupBox_GDrawing) self.pbuttonStart.setEnabled(False) self.pbuttonStart.setGeometry(QtCore.QRect(10, 20, 61, 23)) self.pbuttonStart.setObjectName(_fromUtf8("pbuttonStart")) self.pbuttonStep = QtGui.QPushButton(self.groupBox_GDrawing) self.pbuttonStep.setEnabled(False) self.pbuttonStep.setGeometry(QtCore.QRect(80, 20, 61, 23)) self.pbuttonStep.setObjectName(_fromUtf8("pbuttonStep")) self.pbuttonContinue = QtGui.QPushButton(self.groupBox_GDrawing) self.pbuttonContinue.setEnabled(False) self.pbuttonContinue.setGeometry(QtCore.QRect(80, 50, 61, 23)) self.pbuttonContinue.setObjectName(_fromUtf8("pbuttonContinue")) self.groupBox_Param = QtGui.QGroupBox(self.centralwidget) self.groupBox_Param.setGeometry(QtCore.QRect(10, 310, 150, 275)) sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.Fixed, QtGui.QSizePolicy.Fixed) sizePolicy.setHorizontalStretch(0) sizePolicy.setVerticalStretch(0) sizePolicy.setHeightForWidth( self.groupBox_Param.sizePolicy().hasHeightForWidth()) self.groupBox_Param.setSizePolicy(sizePolicy) self.groupBox_Param.setMinimumSize(QtCore.QSize(150, 0)) self.groupBox_Param.setMaximumSize(QtCore.QSize(150, 275)) font = QtGui.QFont() font.setBold(False) font.setWeight(50) self.groupBox_Param.setFont(font) self.groupBox_Param.setStyleSheet( _fromUtf8( "QGroupBox{\n" "border: 2px solid gray;\n" "border-radius: 10px;\n" "padding: 0.8px;\n" "background: white;\n" "selection-background-color: darkgray;\n" "}\n" "\n" "QGroupBox::title {\n" " subcontrol-origin: margin;\n" " subcontrol-position: top center; /* position at the top center */\n" " padding: 0 3px;\n" " margin-top: 0px;\n" " }")) self.groupBox_Param.setObjectName(_fromUtf8("groupBox_Param")) self.label_L0 = QtGui.QLabel(self.groupBox_Param) self.label_L0.setGeometry(QtCore.QRect(20, 50, 41, 21)) self.label_L0.setObjectName(_fromUtf8("label_L0")) self.textEdit_K = QtGui.QTextEdit(self.groupBox_Param) self.textEdit_K.setGeometry(QtCore.QRect(70, 30, 61, 21)) sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.Fixed, QtGui.QSizePolicy.Fixed) sizePolicy.setHorizontalStretch(0) sizePolicy.setVerticalStretch(0) sizePolicy.setHeightForWidth( self.textEdit_K.sizePolicy().hasHeightForWidth()) self.textEdit_K.setSizePolicy(sizePolicy) self.textEdit_K.setInputMethodHints(QtCore.Qt.ImhDigitsOnly) self.textEdit_K.setVerticalScrollBarPolicy( QtCore.Qt.ScrollBarAlwaysOff) self.textEdit_K.setHorizontalScrollBarPolicy( QtCore.Qt.ScrollBarAlwaysOff) self.textEdit_K.setObjectName(_fromUtf8("textEdit_K")) self.label_K = QtGui.QLabel(self.groupBox_Param) self.label_K.setGeometry(QtCore.QRect(20, 30, 41, 21)) self.label_K.setObjectName(_fromUtf8("label_K")) self.textEdit_L0 = QtGui.QTextEdit(self.groupBox_Param) self.textEdit_L0.setGeometry(QtCore.QRect(70, 50, 61, 21)) self.textEdit_L0.setInputMethodHints(QtCore.Qt.ImhDigitsOnly) self.textEdit_L0.setVerticalScrollBarPolicy( QtCore.Qt.ScrollBarAlwaysOff) self.textEdit_L0.setHorizontalScrollBarPolicy( QtCore.Qt.ScrollBarAlwaysOff) self.textEdit_L0.setObjectName(_fromUtf8("textEdit_L0")) self.label_eps = QtGui.QLabel(self.groupBox_Param) self.label_eps.setGeometry(QtCore.QRect(20, 70, 41, 21)) self.label_eps.setObjectName(_fromUtf8("label_eps")) self.textEdit_eps = QtGui.QTextEdit(self.groupBox_Param) self.textEdit_eps.setGeometry(QtCore.QRect(70, 70, 61, 21)) self.textEdit_eps.setInputMethodHints(QtCore.Qt.ImhDigitsOnly) self.textEdit_eps.setVerticalScrollBarPolicy( QtCore.Qt.ScrollBarAlwaysOff) self.textEdit_eps.setHorizontalScrollBarPolicy( QtCore.Qt.ScrollBarAlwaysOff) self.textEdit_eps.setObjectName(_fromUtf8("textEdit_eps")) self.pbuttonReset = QtGui.QPushButton(self.groupBox_Param) self.pbuttonReset.setEnabled(False) self.pbuttonReset.setGeometry(QtCore.QRect(40, 246, 61, 23)) self.pbuttonReset.setObjectName(_fromUtf8("pbuttonReset")) self.textEdit_maxit = QtGui.QTextEdit(self.groupBox_Param) self.textEdit_maxit.setGeometry(QtCore.QRect(70, 90, 61, 21)) self.textEdit_maxit.setInputMethodHints(QtCore.Qt.ImhDigitsOnly) self.textEdit_maxit.setVerticalScrollBarPolicy( QtCore.Qt.ScrollBarAlwaysOff) self.textEdit_maxit.setHorizontalScrollBarPolicy( QtCore.Qt.ScrollBarAlwaysOff) self.textEdit_maxit.setObjectName(_fromUtf8("textEdit_maxit")) self.label_max_it = QtGui.QLabel(self.groupBox_Param) self.label_max_it.setGeometry(QtCore.QRect(20, 90, 41, 21)) self.label_max_it.setObjectName(_fromUtf8("label_max_it")) self.line = QtGui.QFrame(self.groupBox_Param) self.line.setGeometry(QtCore.QRect(15, 120, 120, 3)) self.line.setFrameShape(QtGui.QFrame.HLine) self.line.setFrameShadow(QtGui.QFrame.Sunken) self.line.setObjectName(_fromUtf8("line")) self.label_Minsize = QtGui.QLabel(self.groupBox_Param) self.label_Minsize.setGeometry(QtCore.QRect(10, 220, 51, 21)) self.label_Minsize.setObjectName(_fromUtf8("label_Minsize")) self.textEdit_iterator = QtGui.QTextEdit(self.groupBox_Param) self.textEdit_iterator.setGeometry(QtCore.QRect(70, 180, 61, 21)) self.textEdit_iterator.setInputMethodHints(QtCore.Qt.ImhDigitsOnly) self.textEdit_iterator.setVerticalScrollBarPolicy( QtCore.Qt.ScrollBarAlwaysOff) self.textEdit_iterator.setHorizontalScrollBarPolicy( QtCore.Qt.ScrollBarAlwaysOff) self.textEdit_iterator.setObjectName(_fromUtf8("textEdit_iterator")) self.textEdit_ratio = QtGui.QTextEdit(self.groupBox_Param) self.textEdit_ratio.setGeometry(QtCore.QRect(70, 200, 61, 21)) self.textEdit_ratio.setInputMethodHints(QtCore.Qt.ImhDigitsOnly) self.textEdit_ratio.setVerticalScrollBarPolicy( QtCore.Qt.ScrollBarAlwaysOff) self.textEdit_ratio.setHorizontalScrollBarPolicy( QtCore.Qt.ScrollBarAlwaysOff) self.textEdit_ratio.setObjectName(_fromUtf8("textEdit_ratio")) self.label_Ratio = QtGui.QLabel(self.groupBox_Param) self.label_Ratio.setGeometry(QtCore.QRect(10, 200, 51, 21)) self.label_Ratio.setObjectName(_fromUtf8("label_Ratio")) self.textEdit_minsize = QtGui.QTextEdit(self.groupBox_Param) self.textEdit_minsize.setGeometry(QtCore.QRect(70, 220, 61, 21)) self.textEdit_minsize.setInputMethodHints(QtCore.Qt.ImhDigitsOnly) self.textEdit_minsize.setVerticalScrollBarPolicy( QtCore.Qt.ScrollBarAlwaysOff) self.textEdit_minsize.setHorizontalScrollBarPolicy( QtCore.Qt.ScrollBarAlwaysOff) self.textEdit_minsize.setObjectName(_fromUtf8("textEdit_minsize")) self.label_It = QtGui.QLabel(self.groupBox_Param) self.label_It.setGeometry(QtCore.QRect(10, 180, 51, 21)) self.label_It.setObjectName(_fromUtf8("label_It")) self.textEdit_radius = QtGui.QTextEdit(self.groupBox_Param) self.textEdit_radius.setGeometry(QtCore.QRect(70, 160, 61, 21)) sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.Fixed, QtGui.QSizePolicy.Fixed) sizePolicy.setHorizontalStretch(0) sizePolicy.setVerticalStretch(0) sizePolicy.setHeightForWidth( self.textEdit_radius.sizePolicy().hasHeightForWidth()) self.textEdit_radius.setSizePolicy(sizePolicy) self.textEdit_radius.setInputMethodHints(QtCore.Qt.ImhDigitsOnly) self.textEdit_radius.setVerticalScrollBarPolicy( QtCore.Qt.ScrollBarAlwaysOff) self.textEdit_radius.setHorizontalScrollBarPolicy( QtCore.Qt.ScrollBarAlwaysOff) self.textEdit_radius.setObjectName(_fromUtf8("textEdit_radius")) self.label_Radius = QtGui.QLabel(self.groupBox_Param) self.label_Radius.setGeometry(QtCore.QRect(10, 160, 51, 21)) self.label_Radius.setObjectName(_fromUtf8("label_Radius")) self.label_3 = QtGui.QLabel(self.groupBox_Param) self.label_3.setGeometry(QtCore.QRect(20, 120, 111, 20)) font = QtGui.QFont() font.setBold(True) font.setWeight(75) self.label_3.setFont(font) self.label_3.setObjectName(_fromUtf8("label_3")) self.label_4 = QtGui.QLabel(self.groupBox_Param) self.label_4.setGeometry(QtCore.QRect(16, 10, 131, 20)) font = QtGui.QFont() font.setBold(True) font.setWeight(75) self.label_4.setFont(font) self.label_4.setObjectName(_fromUtf8("label_4")) self.label_l = QtGui.QLabel(self.groupBox_Param) self.label_l.setGeometry(QtCore.QRect(10, 140, 51, 21)) self.label_l.setObjectName(_fromUtf8("label_l")) self.textEdit_l = QtGui.QTextEdit(self.groupBox_Param) self.textEdit_l.setGeometry(QtCore.QRect(70, 140, 61, 21)) sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.Fixed, QtGui.QSizePolicy.Fixed) sizePolicy.setHorizontalStretch(0) sizePolicy.setVerticalStretch(0) sizePolicy.setHeightForWidth( self.textEdit_l.sizePolicy().hasHeightForWidth()) self.textEdit_l.setSizePolicy(sizePolicy) self.textEdit_l.setInputMethodHints(QtCore.Qt.ImhDigitsOnly) self.textEdit_l.setVerticalScrollBarPolicy( QtCore.Qt.ScrollBarAlwaysOff) self.textEdit_l.setHorizontalScrollBarPolicy( QtCore.Qt.ScrollBarAlwaysOff) self.textEdit_l.setObjectName(_fromUtf8("textEdit_l")) self.groupBox_Algorithm = QtGui.QGroupBox(self.centralwidget) self.groupBox_Algorithm.setEnabled(False) self.groupBox_Algorithm.setGeometry(QtCore.QRect(10, 120, 150, 70)) sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.Fixed, QtGui.QSizePolicy.Fixed) sizePolicy.setHorizontalStretch(0) sizePolicy.setVerticalStretch(0) sizePolicy.setHeightForWidth( self.groupBox_Algorithm.sizePolicy().hasHeightForWidth()) self.groupBox_Algorithm.setSizePolicy(sizePolicy) self.groupBox_Algorithm.setMinimumSize(QtCore.QSize(150, 70)) self.groupBox_Algorithm.setMaximumSize(QtCore.QSize(150, 70)) self.groupBox_Algorithm.setStyleSheet( _fromUtf8( "QGroupBox{\n" "border: 2px solid gray;\n" "border-radius: 10px;\n" "padding: 0.8px;\n" "background: white;\n" "selection-background-color: darkgray;\n" "}\n" "\n" "QGroupBox::title {\n" " subcontrol-origin: margin;\n" " subcontrol-position: top center; /* position at the top center */\n" " padding: 0 3px;\n" " margin-top: 0px;\n" " }")) self.groupBox_Algorithm.setObjectName(_fromUtf8("groupBox_Algorithm")) self.rB_KamadaKawai = QtGui.QRadioButton(self.groupBox_Algorithm) self.rB_KamadaKawai.setGeometry(QtCore.QRect(10, 20, 121, 21)) self.rB_KamadaKawai.setChecked(True) self.rB_KamadaKawai.setObjectName(_fromUtf8("rB_KamadaKawai")) self.rB_HarelKoren = QtGui.QRadioButton(self.groupBox_Algorithm) self.rB_HarelKoren.setGeometry(QtCore.QRect(10, 40, 121, 21)) self.rB_HarelKoren.setObjectName(_fromUtf8("rB_HarelKoren")) self.pbuttonSave_InitialG = QtGui.QPushButton(self.centralwidget) self.pbuttonSave_InitialG.setGeometry(QtCore.QRect(370, 565, 121, 23)) self.pbuttonSave_InitialG.setObjectName( _fromUtf8("pbuttonSave_InitialG")) self.pbuttonSave = QtGui.QPushButton(self.centralwidget) self.pbuttonSave.setEnabled(True) self.pbuttonSave.setGeometry(QtCore.QRect(940, 565, 111, 23)) self.pbuttonSave.setObjectName(_fromUtf8("pbuttonSave")) self.cBox_ShowLabels = QtGui.QCheckBox(self.centralwidget) self.cBox_ShowLabels.setGeometry(QtCore.QRect(660, 565, 111, 21)) self.cBox_ShowLabels.setChecked(True) self.cBox_ShowLabels.setObjectName(_fromUtf8("cBox_ShowLabels")) MainWindow.setCentralWidget(self.centralwidget) self.menubar = QtGui.QMenuBar(MainWindow) self.menubar.setGeometry(QtCore.QRect(0, 0, 1255, 20)) self.menubar.setStyleSheet( _fromUtf8("QMenuBar{\n" "background: rgb(199, 199, 199)\n" "}")) self.menubar.setObjectName(_fromUtf8("menubar")) self.menuExamples = QtGui.QMenu(self.menubar) self.menuExamples.setObjectName(_fromUtf8("menuExamples")) self.menuScotch_collection = QtGui.QMenu(self.menuExamples) self.menuScotch_collection.setObjectName( _fromUtf8("menuScotch_collection")) self.menuGrid_graph = QtGui.QMenu(self.menuExamples) self.menuGrid_graph.setObjectName(_fromUtf8("menuGrid_graph")) self.menuSparse_grid_graph = QtGui.QMenu(self.menuExamples) self.menuSparse_grid_graph.setObjectName( _fromUtf8("menuSparse_grid_graph")) MainWindow.setMenuBar(self.menubar) self.actionExample_1 = QtGui.QAction(MainWindow) self.actionExample_1.setObjectName(_fromUtf8("actionExample_1")) self.actionExample_2 = QtGui.QAction(MainWindow) self.actionExample_2.setObjectName(_fromUtf8("actionExample_2")) self.actionExample_3 = QtGui.QAction(MainWindow) self.actionExample_3.setObjectName(_fromUtf8("actionExample_3")) self.action_3eltGraph = QtGui.QAction(MainWindow) self.action_3eltGraph.setObjectName(_fromUtf8("action_3eltGraph")) self.action4elt_Graph = QtGui.QAction(MainWindow) self.action4elt_Graph.setObjectName(_fromUtf8("action4elt_Graph")) self.actionCrack = QtGui.QAction(MainWindow) self.actionCrack.setObjectName(_fromUtf8("actionCrack")) self.action_grid32x32 = QtGui.QAction(MainWindow) self.action_grid32x32.setObjectName(_fromUtf8("action_grid32x32")) self.action_grid55x55 = QtGui.QAction(MainWindow) self.action_grid55x55.setObjectName(_fromUtf8("action_grid55x55")) self.action_16x16 = QtGui.QAction(MainWindow) self.action_16x16.setObjectName(_fromUtf8("action_16x16")) self.action_sgrid32x32 = QtGui.QAction(MainWindow) self.action_sgrid32x32.setObjectName(_fromUtf8("action_sgrid32x32")) self.action_sgrid40x40 = QtGui.QAction(MainWindow) self.action_sgrid40x40.setObjectName(_fromUtf8("action_sgrid40x40")) self.actionExample_4 = QtGui.QAction(MainWindow) self.actionExample_4.setObjectName(_fromUtf8("actionExample_4")) self.action_sgrid16x16 = QtGui.QAction(MainWindow) self.action_sgrid16x16.setObjectName(_fromUtf8("action_sgrid16x16")) self.menuScotch_collection.addAction(self.action_3eltGraph) self.menuScotch_collection.addAction(self.action4elt_Graph) self.menuScotch_collection.addAction(self.actionCrack) self.menuGrid_graph.addAction(self.action_16x16) self.menuGrid_graph.addAction(self.action_grid32x32) self.menuGrid_graph.addAction(self.action_grid55x55) self.menuSparse_grid_graph.addAction(self.action_sgrid16x16) self.menuSparse_grid_graph.addAction(self.action_sgrid32x32) self.menuSparse_grid_graph.addAction(self.action_sgrid40x40) self.menuExamples.addAction(self.actionExample_1) self.menuExamples.addAction(self.actionExample_2) self.menuExamples.addSeparator() self.menuExamples.addAction(self.actionExample_3) self.menuExamples.addSeparator() self.menuExamples.addAction(self.menuGrid_graph.menuAction()) self.menuExamples.addAction(self.menuSparse_grid_graph.menuAction()) self.menuExamples.addAction(self.menuScotch_collection.menuAction()) self.menubar.addAction(self.menuExamples.menuAction()) self.retranslateUi(MainWindow) QtCore.QMetaObject.connectSlotsByName(MainWindow)
def setupUi(self, MainWindow): MainWindow.setObjectName(_fromUtf8("MainWindow")) MainWindow.resize(1255, 620) sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.Fixed, QtGui.QSizePolicy.Fixed) sizePolicy.setHorizontalStretch(5) sizePolicy.setVerticalStretch(5) sizePolicy.setHeightForWidth(MainWindow.sizePolicy().hasHeightForWidth()) MainWindow.setSizePolicy(sizePolicy) MainWindow.setMinimumSize(QtCore.QSize(0, 620)) MainWindow.setMaximumSize(QtCore.QSize(1255, 620)) self.centralwidget = QtGui.QWidget(MainWindow) self.centralwidget.setObjectName(_fromUtf8("centralwidget")) self.labelStart = QtGui.QLabel(self.centralwidget) self.labelStart.setGeometry(QtCore.QRect(170, 10, 411, 17)) sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.Fixed, QtGui.QSizePolicy.Fixed) sizePolicy.setHorizontalStretch(0) sizePolicy.setVerticalStretch(0) sizePolicy.setHeightForWidth(self.labelStart.sizePolicy().hasHeightForWidth()) self.labelStart.setSizePolicy(sizePolicy) font = QtGui.QFont() font.setPointSize(10) font.setBold(True) font.setWeight(75) self.labelStart.setFont(font) self.labelStart.setObjectName(_fromUtf8("labelStart")) self.labelResult = QtGui.QLabel(self.centralwidget) self.labelResult.setGeometry(QtCore.QRect(709, 10, 521, 17)) sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.Preferred, QtGui.QSizePolicy.Preferred) sizePolicy.setHorizontalStretch(0) sizePolicy.setVerticalStretch(0) sizePolicy.setHeightForWidth(self.labelResult.sizePolicy().hasHeightForWidth()) self.labelResult.setSizePolicy(sizePolicy) self.labelResult.setMinimumSize(QtCore.QSize(0, 0)) self.labelResult.setMaximumSize(QtCore.QSize(16777215, 100)) font = QtGui.QFont() font.setPointSize(10) font.setBold(True) font.setWeight(75) self.labelResult.setFont(font) self.labelResult.setObjectName(_fromUtf8("labelResult")) self.groupBox_InitialG = QtGui.QGroupBox(self.centralwidget) self.groupBox_InitialG.setGeometry(QtCore.QRect(10, 10, 150, 100)) sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.Fixed, QtGui.QSizePolicy.Fixed) sizePolicy.setHorizontalStretch(0) sizePolicy.setVerticalStretch(0) sizePolicy.setHeightForWidth(self.groupBox_InitialG.sizePolicy().hasHeightForWidth()) self.groupBox_InitialG.setSizePolicy(sizePolicy) self.groupBox_InitialG.setMinimumSize(QtCore.QSize(150, 100)) self.groupBox_InitialG.setMaximumSize(QtCore.QSize(16777215, 100)) self.groupBox_InitialG.setStyleSheet(_fromUtf8("QGroupBox{\n" "border: 2px solid gray;\n" "border-radius: 10px;\n" "padding: 0.8px;\n" "background: white;\n" "selection-background-color: darkgray;\n" "}\n" "\n" "QGroupBox::title {\n" " subcontrol-origin: margin;\n" " subcontrol-position: top center; /* position at the top center */\n" " padding: 0 3px;\n" " margin-top: 0px;\n" " }")) self.groupBox_InitialG.setObjectName(_fromUtf8("groupBox_InitialG")) self.textEdit_h = QtGui.QTextEdit(self.groupBox_InitialG) self.textEdit_h.setGeometry(QtCore.QRect(60, 20, 61, 21)) sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.Fixed, QtGui.QSizePolicy.Fixed) sizePolicy.setHorizontalStretch(0) sizePolicy.setVerticalStretch(0) sizePolicy.setHeightForWidth(self.textEdit_h.sizePolicy().hasHeightForWidth()) self.textEdit_h.setSizePolicy(sizePolicy) self.textEdit_h.setInputMethodHints(QtCore.Qt.ImhDigitsOnly) self.textEdit_h.setVerticalScrollBarPolicy(QtCore.Qt.ScrollBarAlwaysOff) self.textEdit_h.setHorizontalScrollBarPolicy(QtCore.Qt.ScrollBarAlwaysOff) self.textEdit_h.setObjectName(_fromUtf8("textEdit_h")) self.label = QtGui.QLabel(self.groupBox_InitialG) self.label.setGeometry(QtCore.QRect(10, 20, 41, 21)) self.label.setObjectName(_fromUtf8("label")) self.label_2 = QtGui.QLabel(self.groupBox_InitialG) self.label_2.setGeometry(QtCore.QRect(10, 40, 41, 21)) self.label_2.setObjectName(_fromUtf8("label_2")) self.textEdit_nV = QtGui.QTextEdit(self.groupBox_InitialG) self.textEdit_nV.setEnabled(False) self.textEdit_nV.setGeometry(QtCore.QRect(60, 40, 61, 21)) self.textEdit_nV.setInputMethodHints(QtCore.Qt.ImhDigitsOnly) self.textEdit_nV.setVerticalScrollBarPolicy(QtCore.Qt.ScrollBarAlwaysOff) self.textEdit_nV.setHorizontalScrollBarPolicy(QtCore.Qt.ScrollBarAlwaysOff) self.textEdit_nV.setObjectName(_fromUtf8("textEdit_nV")) self.pButton_generateG = QtGui.QPushButton(self.groupBox_InitialG) self.pButton_generateG.setGeometry(QtCore.QRect(30, 70, 81, 23)) self.pButton_generateG.setObjectName(_fromUtf8("pButton_generateG")) self.MatplotlibWidget1 = matplotlibWidget(self.centralwidget) self.MatplotlibWidget1.setGeometry(QtCore.QRect(165, 30, 538, 532)) sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.Expanding, QtGui.QSizePolicy.Expanding) sizePolicy.setHorizontalStretch(0) sizePolicy.setVerticalStretch(0) sizePolicy.setHeightForWidth(self.MatplotlibWidget1.sizePolicy().hasHeightForWidth()) self.MatplotlibWidget1.setSizePolicy(sizePolicy) self.MatplotlibWidget1.setMinimumSize(QtCore.QSize(530, 530)) self.MatplotlibWidget1.setStyleSheet(_fromUtf8("background-color: rgb(255, 255, 255);")) self.MatplotlibWidget1.setObjectName(_fromUtf8("MatplotlibWidget1")) self.MatplotlibWidget2 = matplotlibWidget(self.centralwidget) self.MatplotlibWidget2.setGeometry(QtCore.QRect(709, 30, 537, 532)) sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.Expanding, QtGui.QSizePolicy.Expanding) sizePolicy.setHorizontalStretch(0) sizePolicy.setVerticalStretch(0) sizePolicy.setHeightForWidth(self.MatplotlibWidget2.sizePolicy().hasHeightForWidth()) self.MatplotlibWidget2.setSizePolicy(sizePolicy) self.MatplotlibWidget2.setMinimumSize(QtCore.QSize(530, 530)) self.MatplotlibWidget2.setStyleSheet(_fromUtf8("background-color: rgb(255, 255, 255);")) self.MatplotlibWidget2.setObjectName(_fromUtf8("MatplotlibWidget2")) self.groupBox_GDrawing = QtGui.QGroupBox(self.centralwidget) self.groupBox_GDrawing.setEnabled(True) self.groupBox_GDrawing.setGeometry(QtCore.QRect(10, 200, 150, 100)) sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.Fixed, QtGui.QSizePolicy.Fixed) sizePolicy.setHorizontalStretch(0) sizePolicy.setVerticalStretch(0) sizePolicy.setHeightForWidth(self.groupBox_GDrawing.sizePolicy().hasHeightForWidth()) self.groupBox_GDrawing.setSizePolicy(sizePolicy) self.groupBox_GDrawing.setMinimumSize(QtCore.QSize(150, 100)) self.groupBox_GDrawing.setMaximumSize(QtCore.QSize(150, 100)) self.groupBox_GDrawing.setStyleSheet(_fromUtf8("QGroupBox{\n" "border: 2px solid gray;\n" "border-radius: 10px;\n" "padding: 0.8px;\n" "background: white;\n" "selection-background-color: darkgray;\n" "}\n" "\n" "QGroupBox::title {\n" " subcontrol-origin: margin;\n" " subcontrol-position: top center; /* position at the top center */\n" " padding: 0 3px;\n" " margin-top: 0px;\n" " }")) self.groupBox_GDrawing.setObjectName(_fromUtf8("groupBox_GDrawing")) self.pbuttonStart = QtGui.QPushButton(self.groupBox_GDrawing) self.pbuttonStart.setEnabled(False) self.pbuttonStart.setGeometry(QtCore.QRect(10, 20, 61, 23)) self.pbuttonStart.setObjectName(_fromUtf8("pbuttonStart")) self.pbuttonStep = QtGui.QPushButton(self.groupBox_GDrawing) self.pbuttonStep.setEnabled(False) self.pbuttonStep.setGeometry(QtCore.QRect(80, 20, 61, 23)) self.pbuttonStep.setObjectName(_fromUtf8("pbuttonStep")) self.pbuttonContinue = QtGui.QPushButton(self.groupBox_GDrawing) self.pbuttonContinue.setEnabled(False) self.pbuttonContinue.setGeometry(QtCore.QRect(80, 50, 61, 23)) self.pbuttonContinue.setObjectName(_fromUtf8("pbuttonContinue")) self.groupBox_Param = QtGui.QGroupBox(self.centralwidget) self.groupBox_Param.setGeometry(QtCore.QRect(10, 310, 150, 275)) sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.Fixed, QtGui.QSizePolicy.Fixed) sizePolicy.setHorizontalStretch(0) sizePolicy.setVerticalStretch(0) sizePolicy.setHeightForWidth(self.groupBox_Param.sizePolicy().hasHeightForWidth()) self.groupBox_Param.setSizePolicy(sizePolicy) self.groupBox_Param.setMinimumSize(QtCore.QSize(150, 0)) self.groupBox_Param.setMaximumSize(QtCore.QSize(150, 275)) font = QtGui.QFont() font.setBold(False) font.setWeight(50) self.groupBox_Param.setFont(font) self.groupBox_Param.setStyleSheet(_fromUtf8("QGroupBox{\n" "border: 2px solid gray;\n" "border-radius: 10px;\n" "padding: 0.8px;\n" "background: white;\n" "selection-background-color: darkgray;\n" "}\n" "\n" "QGroupBox::title {\n" " subcontrol-origin: margin;\n" " subcontrol-position: top center; /* position at the top center */\n" " padding: 0 3px;\n" " margin-top: 0px;\n" " }")) self.groupBox_Param.setObjectName(_fromUtf8("groupBox_Param")) self.label_L0 = QtGui.QLabel(self.groupBox_Param) self.label_L0.setGeometry(QtCore.QRect(20, 50, 41, 21)) self.label_L0.setObjectName(_fromUtf8("label_L0")) self.textEdit_K = QtGui.QTextEdit(self.groupBox_Param) self.textEdit_K.setGeometry(QtCore.QRect(70, 30, 61, 21)) sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.Fixed, QtGui.QSizePolicy.Fixed) sizePolicy.setHorizontalStretch(0) sizePolicy.setVerticalStretch(0) sizePolicy.setHeightForWidth(self.textEdit_K.sizePolicy().hasHeightForWidth()) self.textEdit_K.setSizePolicy(sizePolicy) self.textEdit_K.setInputMethodHints(QtCore.Qt.ImhDigitsOnly) self.textEdit_K.setVerticalScrollBarPolicy(QtCore.Qt.ScrollBarAlwaysOff) self.textEdit_K.setHorizontalScrollBarPolicy(QtCore.Qt.ScrollBarAlwaysOff) self.textEdit_K.setObjectName(_fromUtf8("textEdit_K")) self.label_K = QtGui.QLabel(self.groupBox_Param) self.label_K.setGeometry(QtCore.QRect(20, 30, 41, 21)) self.label_K.setObjectName(_fromUtf8("label_K")) self.textEdit_L0 = QtGui.QTextEdit(self.groupBox_Param) self.textEdit_L0.setGeometry(QtCore.QRect(70, 50, 61, 21)) self.textEdit_L0.setInputMethodHints(QtCore.Qt.ImhDigitsOnly) self.textEdit_L0.setVerticalScrollBarPolicy(QtCore.Qt.ScrollBarAlwaysOff) self.textEdit_L0.setHorizontalScrollBarPolicy(QtCore.Qt.ScrollBarAlwaysOff) self.textEdit_L0.setObjectName(_fromUtf8("textEdit_L0")) self.label_eps = QtGui.QLabel(self.groupBox_Param) self.label_eps.setGeometry(QtCore.QRect(20, 70, 41, 21)) self.label_eps.setObjectName(_fromUtf8("label_eps")) self.textEdit_eps = QtGui.QTextEdit(self.groupBox_Param) self.textEdit_eps.setGeometry(QtCore.QRect(70, 70, 61, 21)) self.textEdit_eps.setInputMethodHints(QtCore.Qt.ImhDigitsOnly) self.textEdit_eps.setVerticalScrollBarPolicy(QtCore.Qt.ScrollBarAlwaysOff) self.textEdit_eps.setHorizontalScrollBarPolicy(QtCore.Qt.ScrollBarAlwaysOff) self.textEdit_eps.setObjectName(_fromUtf8("textEdit_eps")) self.pbuttonReset = QtGui.QPushButton(self.groupBox_Param) self.pbuttonReset.setEnabled(False) self.pbuttonReset.setGeometry(QtCore.QRect(40, 246, 61, 23)) self.pbuttonReset.setObjectName(_fromUtf8("pbuttonReset")) self.textEdit_maxit = QtGui.QTextEdit(self.groupBox_Param) self.textEdit_maxit.setGeometry(QtCore.QRect(70, 90, 61, 21)) self.textEdit_maxit.setInputMethodHints(QtCore.Qt.ImhDigitsOnly) self.textEdit_maxit.setVerticalScrollBarPolicy(QtCore.Qt.ScrollBarAlwaysOff) self.textEdit_maxit.setHorizontalScrollBarPolicy(QtCore.Qt.ScrollBarAlwaysOff) self.textEdit_maxit.setObjectName(_fromUtf8("textEdit_maxit")) self.label_max_it = QtGui.QLabel(self.groupBox_Param) self.label_max_it.setGeometry(QtCore.QRect(20, 90, 41, 21)) self.label_max_it.setObjectName(_fromUtf8("label_max_it")) self.line = QtGui.QFrame(self.groupBox_Param) self.line.setGeometry(QtCore.QRect(15, 120, 120, 3)) self.line.setFrameShape(QtGui.QFrame.HLine) self.line.setFrameShadow(QtGui.QFrame.Sunken) self.line.setObjectName(_fromUtf8("line")) self.label_Minsize = QtGui.QLabel(self.groupBox_Param) self.label_Minsize.setGeometry(QtCore.QRect(10, 220, 51, 21)) self.label_Minsize.setObjectName(_fromUtf8("label_Minsize")) self.textEdit_iterator = QtGui.QTextEdit(self.groupBox_Param) self.textEdit_iterator.setGeometry(QtCore.QRect(70, 180, 61, 21)) self.textEdit_iterator.setInputMethodHints(QtCore.Qt.ImhDigitsOnly) self.textEdit_iterator.setVerticalScrollBarPolicy(QtCore.Qt.ScrollBarAlwaysOff) self.textEdit_iterator.setHorizontalScrollBarPolicy(QtCore.Qt.ScrollBarAlwaysOff) self.textEdit_iterator.setObjectName(_fromUtf8("textEdit_iterator")) self.textEdit_ratio = QtGui.QTextEdit(self.groupBox_Param) self.textEdit_ratio.setGeometry(QtCore.QRect(70, 200, 61, 21)) self.textEdit_ratio.setInputMethodHints(QtCore.Qt.ImhDigitsOnly) self.textEdit_ratio.setVerticalScrollBarPolicy(QtCore.Qt.ScrollBarAlwaysOff) self.textEdit_ratio.setHorizontalScrollBarPolicy(QtCore.Qt.ScrollBarAlwaysOff) self.textEdit_ratio.setObjectName(_fromUtf8("textEdit_ratio")) self.label_Ratio = QtGui.QLabel(self.groupBox_Param) self.label_Ratio.setGeometry(QtCore.QRect(10, 200, 51, 21)) self.label_Ratio.setObjectName(_fromUtf8("label_Ratio")) self.textEdit_minsize = QtGui.QTextEdit(self.groupBox_Param) self.textEdit_minsize.setGeometry(QtCore.QRect(70, 220, 61, 21)) self.textEdit_minsize.setInputMethodHints(QtCore.Qt.ImhDigitsOnly) self.textEdit_minsize.setVerticalScrollBarPolicy(QtCore.Qt.ScrollBarAlwaysOff) self.textEdit_minsize.setHorizontalScrollBarPolicy(QtCore.Qt.ScrollBarAlwaysOff) self.textEdit_minsize.setObjectName(_fromUtf8("textEdit_minsize")) self.label_It = QtGui.QLabel(self.groupBox_Param) self.label_It.setGeometry(QtCore.QRect(10, 180, 51, 21)) self.label_It.setObjectName(_fromUtf8("label_It")) self.textEdit_radius = QtGui.QTextEdit(self.groupBox_Param) self.textEdit_radius.setGeometry(QtCore.QRect(70, 160, 61, 21)) sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.Fixed, QtGui.QSizePolicy.Fixed) sizePolicy.setHorizontalStretch(0) sizePolicy.setVerticalStretch(0) sizePolicy.setHeightForWidth(self.textEdit_radius.sizePolicy().hasHeightForWidth()) self.textEdit_radius.setSizePolicy(sizePolicy) self.textEdit_radius.setInputMethodHints(QtCore.Qt.ImhDigitsOnly) self.textEdit_radius.setVerticalScrollBarPolicy(QtCore.Qt.ScrollBarAlwaysOff) self.textEdit_radius.setHorizontalScrollBarPolicy(QtCore.Qt.ScrollBarAlwaysOff) self.textEdit_radius.setObjectName(_fromUtf8("textEdit_radius")) self.label_Radius = QtGui.QLabel(self.groupBox_Param) self.label_Radius.setGeometry(QtCore.QRect(10, 160, 51, 21)) self.label_Radius.setObjectName(_fromUtf8("label_Radius")) self.label_3 = QtGui.QLabel(self.groupBox_Param) self.label_3.setGeometry(QtCore.QRect(20, 120, 111, 20)) font = QtGui.QFont() font.setBold(True) font.setWeight(75) self.label_3.setFont(font) self.label_3.setObjectName(_fromUtf8("label_3")) self.label_4 = QtGui.QLabel(self.groupBox_Param) self.label_4.setGeometry(QtCore.QRect(16, 10, 131, 20)) font = QtGui.QFont() font.setBold(True) font.setWeight(75) self.label_4.setFont(font) self.label_4.setObjectName(_fromUtf8("label_4")) self.label_l = QtGui.QLabel(self.groupBox_Param) self.label_l.setGeometry(QtCore.QRect(10, 140, 51, 21)) self.label_l.setObjectName(_fromUtf8("label_l")) self.textEdit_l = QtGui.QTextEdit(self.groupBox_Param) self.textEdit_l.setGeometry(QtCore.QRect(70, 140, 61, 21)) sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.Fixed, QtGui.QSizePolicy.Fixed) sizePolicy.setHorizontalStretch(0) sizePolicy.setVerticalStretch(0) sizePolicy.setHeightForWidth(self.textEdit_l.sizePolicy().hasHeightForWidth()) self.textEdit_l.setSizePolicy(sizePolicy) self.textEdit_l.setInputMethodHints(QtCore.Qt.ImhDigitsOnly) self.textEdit_l.setVerticalScrollBarPolicy(QtCore.Qt.ScrollBarAlwaysOff) self.textEdit_l.setHorizontalScrollBarPolicy(QtCore.Qt.ScrollBarAlwaysOff) self.textEdit_l.setObjectName(_fromUtf8("textEdit_l")) self.groupBox_Algorithm = QtGui.QGroupBox(self.centralwidget) self.groupBox_Algorithm.setEnabled(False) self.groupBox_Algorithm.setGeometry(QtCore.QRect(10, 120, 150, 70)) sizePolicy = QtGui.QSizePolicy(QtGui.QSizePolicy.Fixed, QtGui.QSizePolicy.Fixed) sizePolicy.setHorizontalStretch(0) sizePolicy.setVerticalStretch(0) sizePolicy.setHeightForWidth(self.groupBox_Algorithm.sizePolicy().hasHeightForWidth()) self.groupBox_Algorithm.setSizePolicy(sizePolicy) self.groupBox_Algorithm.setMinimumSize(QtCore.QSize(150, 70)) self.groupBox_Algorithm.setMaximumSize(QtCore.QSize(150, 70)) self.groupBox_Algorithm.setStyleSheet(_fromUtf8("QGroupBox{\n" "border: 2px solid gray;\n" "border-radius: 10px;\n" "padding: 0.8px;\n" "background: white;\n" "selection-background-color: darkgray;\n" "}\n" "\n" "QGroupBox::title {\n" " subcontrol-origin: margin;\n" " subcontrol-position: top center; /* position at the top center */\n" " padding: 0 3px;\n" " margin-top: 0px;\n" " }")) self.groupBox_Algorithm.setObjectName(_fromUtf8("groupBox_Algorithm")) self.rB_KamadaKawai = QtGui.QRadioButton(self.groupBox_Algorithm) self.rB_KamadaKawai.setGeometry(QtCore.QRect(10, 20, 121, 21)) self.rB_KamadaKawai.setChecked(True) self.rB_KamadaKawai.setObjectName(_fromUtf8("rB_KamadaKawai")) self.rB_HarelKoren = QtGui.QRadioButton(self.groupBox_Algorithm) self.rB_HarelKoren.setGeometry(QtCore.QRect(10, 40, 121, 21)) self.rB_HarelKoren.setObjectName(_fromUtf8("rB_HarelKoren")) self.pbuttonSave_InitialG = QtGui.QPushButton(self.centralwidget) self.pbuttonSave_InitialG.setGeometry(QtCore.QRect(370, 565, 121, 23)) self.pbuttonSave_InitialG.setObjectName(_fromUtf8("pbuttonSave_InitialG")) self.pbuttonSave = QtGui.QPushButton(self.centralwidget) self.pbuttonSave.setEnabled(True) self.pbuttonSave.setGeometry(QtCore.QRect(940, 565, 111, 23)) self.pbuttonSave.setObjectName(_fromUtf8("pbuttonSave")) self.cBox_ShowLabels = QtGui.QCheckBox(self.centralwidget) self.cBox_ShowLabels.setGeometry(QtCore.QRect(660, 565, 111, 21)) self.cBox_ShowLabels.setChecked(True) self.cBox_ShowLabels.setObjectName(_fromUtf8("cBox_ShowLabels")) MainWindow.setCentralWidget(self.centralwidget) self.menubar = QtGui.QMenuBar(MainWindow) self.menubar.setGeometry(QtCore.QRect(0, 0, 1255, 20)) self.menubar.setStyleSheet(_fromUtf8("QMenuBar{\n" "background: rgb(199, 199, 199)\n" "}")) self.menubar.setObjectName(_fromUtf8("menubar")) self.menuExamples = QtGui.QMenu(self.menubar) self.menuExamples.setObjectName(_fromUtf8("menuExamples")) self.menuScotch_collection = QtGui.QMenu(self.menuExamples) self.menuScotch_collection.setObjectName(_fromUtf8("menuScotch_collection")) self.menuGrid_graph = QtGui.QMenu(self.menuExamples) self.menuGrid_graph.setObjectName(_fromUtf8("menuGrid_graph")) self.menuSparse_grid_graph = QtGui.QMenu(self.menuExamples) self.menuSparse_grid_graph.setObjectName(_fromUtf8("menuSparse_grid_graph")) MainWindow.setMenuBar(self.menubar) self.actionExample_1 = QtGui.QAction(MainWindow) self.actionExample_1.setObjectName(_fromUtf8("actionExample_1")) self.actionExample_2 = QtGui.QAction(MainWindow) self.actionExample_2.setObjectName(_fromUtf8("actionExample_2")) self.actionExample_3 = QtGui.QAction(MainWindow) self.actionExample_3.setObjectName(_fromUtf8("actionExample_3")) self.action_3eltGraph = QtGui.QAction(MainWindow) self.action_3eltGraph.setObjectName(_fromUtf8("action_3eltGraph")) self.action4elt_Graph = QtGui.QAction(MainWindow) self.action4elt_Graph.setObjectName(_fromUtf8("action4elt_Graph")) self.actionCrack = QtGui.QAction(MainWindow) self.actionCrack.setObjectName(_fromUtf8("actionCrack")) self.action_grid32x32 = QtGui.QAction(MainWindow) self.action_grid32x32.setObjectName(_fromUtf8("action_grid32x32")) self.action_grid55x55 = QtGui.QAction(MainWindow) self.action_grid55x55.setObjectName(_fromUtf8("action_grid55x55")) self.action_16x16 = QtGui.QAction(MainWindow) self.action_16x16.setObjectName(_fromUtf8("action_16x16")) self.action_sgrid32x32 = QtGui.QAction(MainWindow) self.action_sgrid32x32.setObjectName(_fromUtf8("action_sgrid32x32")) self.action_sgrid40x40 = QtGui.QAction(MainWindow) self.action_sgrid40x40.setObjectName(_fromUtf8("action_sgrid40x40")) self.actionExample_4 = QtGui.QAction(MainWindow) self.actionExample_4.setObjectName(_fromUtf8("actionExample_4")) self.action_sgrid16x16 = QtGui.QAction(MainWindow) self.action_sgrid16x16.setObjectName(_fromUtf8("action_sgrid16x16")) self.menuScotch_collection.addAction(self.action_3eltGraph) self.menuScotch_collection.addAction(self.action4elt_Graph) self.menuScotch_collection.addAction(self.actionCrack) self.menuGrid_graph.addAction(self.action_16x16) self.menuGrid_graph.addAction(self.action_grid32x32) self.menuGrid_graph.addAction(self.action_grid55x55) self.menuSparse_grid_graph.addAction(self.action_sgrid16x16) self.menuSparse_grid_graph.addAction(self.action_sgrid32x32) self.menuSparse_grid_graph.addAction(self.action_sgrid40x40) self.menuExamples.addAction(self.actionExample_1) self.menuExamples.addAction(self.actionExample_2) self.menuExamples.addSeparator() self.menuExamples.addAction(self.actionExample_3) self.menuExamples.addSeparator() self.menuExamples.addAction(self.menuGrid_graph.menuAction()) self.menuExamples.addAction(self.menuSparse_grid_graph.menuAction()) self.menuExamples.addAction(self.menuScotch_collection.menuAction()) self.menubar.addAction(self.menuExamples.menuAction()) self.retranslateUi(MainWindow) QtCore.QMetaObject.connectSlotsByName(MainWindow)