def setupUi(self, Dialog): Dialog.setObjectName("Dialog") Dialog.resize(461, 559) icon = QtGui.QIcon() icon.addPixmap(QtGui.QPixmap(":/icons/synthesis.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off) Dialog.setWindowIcon(icon) Dialog.setSizeGripEnabled(True) Dialog.setModal(True) self.verticalLayout = QtWidgets.QVBoxLayout(Dialog) self.verticalLayout.setObjectName("verticalLayout") self.formLayout = QtWidgets.QFormLayout() self.formLayout.setObjectName("formLayout") self.max_gen_option = QtWidgets.QRadioButton(Dialog) self.max_gen_option.setChecked(True) self.max_gen_option.setObjectName("max_gen_option") self.formLayout.setWidget(2, QtWidgets.QFormLayout.LabelRole, self.max_gen_option) self.max_gen = QtWidgets.QSpinBox(Dialog) self.max_gen.setMinimum(0) self.max_gen.setMaximum(5000) self.max_gen.setSingleStep(100) self.max_gen.setProperty("value", 1000) self.max_gen.setObjectName("max_gen") self.formLayout.setWidget(2, QtWidgets.QFormLayout.FieldRole, self.max_gen) self.min_fit_option = QtWidgets.QRadioButton(Dialog) self.min_fit_option.setObjectName("min_fit_option") self.formLayout.setWidget(3, QtWidgets.QFormLayout.LabelRole, self.min_fit_option) self.min_fit = QtWidgets.QDoubleSpinBox(Dialog) self.min_fit.setEnabled(False) self.min_fit.setMaximum(2000.0) self.min_fit.setProperty("value", 25.0) self.min_fit.setObjectName("min_fit") self.formLayout.setWidget(3, QtWidgets.QFormLayout.FieldRole, self.min_fit) self.report_label = QtWidgets.QLabel(Dialog) self.report_label.setObjectName("report_label") self.formLayout.setWidget(5, QtWidgets.QFormLayout.LabelRole, self.report_label) self.report = QtWidgets.QSpinBox(Dialog) self.report.setProperty("value", 10) self.report.setObjectName("report") self.formLayout.setWidget(5, QtWidgets.QFormLayout.FieldRole, self.report) self.max_time_option = QtWidgets.QRadioButton(Dialog) self.max_time_option.setObjectName("max_time_option") self.formLayout.setWidget(4, QtWidgets.QFormLayout.LabelRole, self.max_time_option) self.max_time = QtWidgets.QWidget(Dialog) self.max_time.setEnabled(False) self.max_time.setObjectName("max_time") self.horizontalLayout_2 = QtWidgets.QHBoxLayout(self.max_time) self.horizontalLayout_2.setObjectName("horizontalLayout_2") self.max_time_h = QtWidgets.QSpinBox(self.max_time) self.max_time_h.setObjectName("max_time_h") self.horizontalLayout_2.addWidget(self.max_time_h) self.label_2 = QtWidgets.QLabel(self.max_time) sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Fixed, QtWidgets.QSizePolicy.Preferred) sizePolicy.setHorizontalStretch(0) sizePolicy.setVerticalStretch(0) sizePolicy.setHeightForWidth( self.label_2.sizePolicy().hasHeightForWidth()) self.label_2.setSizePolicy(sizePolicy) self.label_2.setObjectName("label_2") self.horizontalLayout_2.addWidget(self.label_2) self.max_time_m = QtWidgets.QSpinBox(self.max_time) self.max_time_m.setMaximum(59) self.max_time_m.setProperty("value", 15) self.max_time_m.setObjectName("max_time_m") self.horizontalLayout_2.addWidget(self.max_time_m) self.label_3 = QtWidgets.QLabel(self.max_time) sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Fixed, QtWidgets.QSizePolicy.Preferred) sizePolicy.setHorizontalStretch(0) sizePolicy.setVerticalStretch(0) sizePolicy.setHeightForWidth( self.label_3.sizePolicy().hasHeightForWidth()) self.label_3.setSizePolicy(sizePolicy) self.label_3.setObjectName("label_3") self.horizontalLayout_2.addWidget(self.label_3) self.max_time_s = QtWidgets.QSpinBox(self.max_time) self.max_time_s.setMaximum(59) self.max_time_s.setSingleStep(10) self.max_time_s.setObjectName("max_time_s") self.horizontalLayout_2.addWidget(self.max_time_s) self.formLayout.setWidget(4, QtWidgets.QFormLayout.FieldRole, self.max_time) self.label = QtWidgets.QLabel(Dialog) self.label.setObjectName("label") self.formLayout.setWidget(1, QtWidgets.QFormLayout.LabelRole, self.label) self.pop_size = QtWidgets.QSpinBox(Dialog) self.pop_size.setMinimum(10) self.pop_size.setMaximum(10000) self.pop_size.setSingleStep(10) self.pop_size.setObjectName("pop_size") self.formLayout.setWidget(1, QtWidgets.QFormLayout.FieldRole, self.pop_size) self.verticalLayout.addLayout(self.formLayout) self.splitter = QtWidgets.QSplitter(Dialog) sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Preferred, QtWidgets.QSizePolicy.Expanding) sizePolicy.setHorizontalStretch(0) sizePolicy.setVerticalStretch(0) sizePolicy.setHeightForWidth( self.splitter.sizePolicy().hasHeightForWidth()) self.splitter.setSizePolicy(sizePolicy) self.splitter.setOrientation(QtCore.Qt.Horizontal) self.splitter.setObjectName("splitter") self.alg_table = QtWidgets.QTableWidget(self.splitter) self.alg_table.setObjectName("alg_table") self.alg_table.setColumnCount(2) self.alg_table.setRowCount(0) item = QtWidgets.QTableWidgetItem() self.alg_table.setHorizontalHeaderItem(0, item) item = QtWidgets.QTableWidgetItem() self.alg_table.setHorizontalHeaderItem(1, item) self.alg_table.horizontalHeader().setDefaultSectionSize(150) self.alg_table.horizontalHeader().setMinimumSectionSize(150) self.verticalLayout.addWidget(self.splitter) self.horizontalLayout = QtWidgets.QHBoxLayout() self.horizontalLayout.setObjectName("horizontalLayout") self.reset_button = QtWidgets.QPushButton(Dialog) self.reset_button.setObjectName("reset_button") self.horizontalLayout.addWidget(self.reset_button) spacerItem = QtWidgets.QSpacerItem(40, 20, QtWidgets.QSizePolicy.Expanding, QtWidgets.QSizePolicy.Minimum) self.horizontalLayout.addItem(spacerItem) self.button_box = QtWidgets.QDialogButtonBox(Dialog) self.button_box.setOrientation(QtCore.Qt.Horizontal) self.button_box.setStandardButtons(QtWidgets.QDialogButtonBox.Cancel | QtWidgets.QDialogButtonBox.Ok) self.button_box.setObjectName("button_box") self.horizontalLayout.addWidget(self.button_box) self.verticalLayout.addLayout(self.horizontalLayout) self.retranslateUi(Dialog) self.button_box.accepted.connect(Dialog.accept) self.button_box.rejected.connect(Dialog.reject) self.max_gen_option.toggled['bool'].connect(self.max_gen.setEnabled) self.min_fit_option.toggled['bool'].connect(self.min_fit.setEnabled) self.max_time_option.toggled['bool'].connect(self.max_time.setEnabled) QtCore.QMetaObject.connectSlotsByName(Dialog)
def setupUi(self, Form): Form.setObjectName("Form") Form.resize(507, 662) icon = QtGui.QIcon() icon.addPixmap(QtGui.QPixmap(":/icons/structure.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off) Form.setWindowIcon(icon) self.verticalLayout_2 = QtWidgets.QVBoxLayout(Form) self.verticalLayout_2.setObjectName("verticalLayout_2") self.horizontalLayout = QtWidgets.QHBoxLayout() self.horizontalLayout.setObjectName("horizontalLayout") self.add_by_files_button = QtWidgets.QPushButton(Form) icon1 = QtGui.QIcon() icon1.addPixmap(QtGui.QPixmap(":/icons/loadfile.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off) self.add_by_files_button.setIcon(icon1) self.add_by_files_button.setObjectName("add_by_files_button") self.horizontalLayout.addWidget(self.add_by_files_button) self.add_by_edges_button = QtWidgets.QPushButton(Form) self.add_by_edges_button.setIcon(icon) self.add_by_edges_button.setObjectName("add_by_edges_button") self.horizontalLayout.addWidget(self.add_by_edges_button) self.line = QtWidgets.QFrame(Form) self.line.setFrameShape(QtWidgets.QFrame.VLine) self.line.setFrameShadow(QtWidgets.QFrame.Sunken) self.line.setObjectName("line") self.horizontalLayout.addWidget(self.line) self.save_atlas = QtWidgets.QPushButton(Form) icon2 = QtGui.QIcon() icon2.addPixmap(QtGui.QPixmap(":/icons/picture.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off) self.save_atlas.setIcon(icon2) self.save_atlas.setObjectName("save_atlas") self.horizontalLayout.addWidget(self.save_atlas) self.save_edges = QtWidgets.QPushButton(Form) icon3 = QtGui.QIcon() icon3.addPixmap(QtGui.QPixmap(":/icons/save_file.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off) self.save_edges.setIcon(icon3) self.save_edges.setObjectName("save_edges") self.horizontalLayout.addWidget(self.save_edges) spacerItem = QtWidgets.QSpacerItem(40, 20, QtWidgets.QSizePolicy.Expanding, QtWidgets.QSizePolicy.Minimum) self.horizontalLayout.addItem(spacerItem) self.clear_button = QtWidgets.QPushButton(Form) icon4 = QtGui.QIcon() icon4.addPixmap(QtGui.QPixmap(":/icons/clean.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off) self.clear_button.setIcon(icon4) self.clear_button.setObjectName("clear_button") self.horizontalLayout.addWidget(self.clear_button) self.delete_button = QtWidgets.QPushButton(Form) self.delete_button.setEnabled(False) icon5 = QtGui.QIcon() icon5.addPixmap(QtGui.QPixmap(":/icons/delete.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off) self.delete_button.setIcon(icon5) self.delete_button.setObjectName("delete_button") self.horizontalLayout.addWidget(self.delete_button) self.verticalLayout_2.addLayout(self.horizontalLayout) self.splitter = QtWidgets.QSplitter(Form) self.splitter.setOrientation(QtCore.Qt.Vertical) self.splitter.setObjectName("splitter") self.collection_list = QtWidgets.QListWidget(self.splitter) self.collection_list.setContextMenuPolicy(QtCore.Qt.CustomContextMenu) self.collection_list.setIconSize(QtCore.QSize(100, 100)) self.collection_list.setMovement(QtWidgets.QListView.Static) self.collection_list.setResizeMode(QtWidgets.QListView.Adjust) self.collection_list.setViewMode(QtWidgets.QListView.IconMode) self.collection_list.setUniformItemSizes(True) self.collection_list.setObjectName("collection_list") self.verticalLayoutWidget = QtWidgets.QWidget(self.splitter) self.verticalLayoutWidget.setObjectName("verticalLayoutWidget") self.verticalLayout = QtWidgets.QVBoxLayout(self.verticalLayoutWidget) self.verticalLayout.setContentsMargins(0, 0, 0, 0) self.verticalLayout.setObjectName("verticalLayout") self.horizontalLayout_7 = QtWidgets.QHBoxLayout() self.horizontalLayout_7.setObjectName("horizontalLayout_7") self.graph_engine_text = QtWidgets.QLabel(self.verticalLayoutWidget) self.graph_engine_text.setObjectName("graph_engine_text") self.horizontalLayout_7.addWidget(self.graph_engine_text) self.graph_engine = QtWidgets.QComboBox(self.verticalLayoutWidget) self.graph_engine.setObjectName("graph_engine") self.horizontalLayout_7.addWidget(self.graph_engine) self.reload_atlas = QtWidgets.QPushButton(self.verticalLayoutWidget) self.reload_atlas.setText("") icon6 = QtGui.QIcon() icon6.addPixmap(QtGui.QPixmap(":/icons/data_update.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off) self.reload_atlas.setIcon(icon6) self.reload_atlas.setObjectName("reload_atlas") self.horizontalLayout_7.addWidget(self.reload_atlas) spacerItem1 = QtWidgets.QSpacerItem(40, 20, QtWidgets.QSizePolicy.Expanding, QtWidgets.QSizePolicy.Minimum) self.horizontalLayout_7.addItem(spacerItem1) self.graph_link_as_node = QtWidgets.QCheckBox( self.verticalLayoutWidget) self.graph_link_as_node.setObjectName("graph_link_as_node") self.horizontalLayout_7.addWidget(self.graph_link_as_node) self.graph_show_label = QtWidgets.QCheckBox(self.verticalLayoutWidget) self.graph_show_label.setChecked(True) self.graph_show_label.setObjectName("graph_show_label") self.horizontalLayout_7.addWidget(self.graph_show_label) self.verticalLayout.addLayout(self.horizontalLayout_7) self.horizontalLayout_2 = QtWidgets.QHBoxLayout() self.horizontalLayout_2.setObjectName("horizontalLayout_2") self.selection_window = QtWidgets.QListWidget( self.verticalLayoutWidget) self.selection_window.setMinimumSize(QtCore.QSize(210, 230)) self.selection_window.setMaximumSize(QtCore.QSize(210, 230)) self.selection_window.setSelectionMode( QtWidgets.QAbstractItemView.NoSelection) self.selection_window.setIconSize(QtCore.QSize(200, 200)) self.selection_window.setMovement(QtWidgets.QListView.Static) self.selection_window.setViewMode(QtWidgets.QListView.IconMode) self.selection_window.setObjectName("selection_window") self.horizontalLayout_2.addWidget(self.selection_window) self.verticalLayout_5 = QtWidgets.QVBoxLayout() self.verticalLayout_5.setObjectName("verticalLayout_5") self.horizontalLayout_3 = QtWidgets.QHBoxLayout() self.horizontalLayout_3.setObjectName("horizontalLayout_3") self.edges_text = QtWidgets.QLineEdit(self.verticalLayoutWidget) self.edges_text.setReadOnly(True) self.edges_text.setObjectName("edges_text") self.horizontalLayout_3.addWidget(self.edges_text) self.expr_copy = QtWidgets.QPushButton(self.verticalLayoutWidget) icon7 = QtGui.QIcon() icon7.addPixmap(QtGui.QPixmap(":/icons/copy.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off) self.expr_copy.setIcon(icon7) self.expr_copy.setObjectName("expr_copy") self.horizontalLayout_3.addWidget(self.expr_copy) self.capture_graph = QtWidgets.QPushButton(self.verticalLayoutWidget) self.capture_graph.setIcon(icon2) self.capture_graph.setObjectName("capture_graph") self.horizontalLayout_3.addWidget(self.capture_graph) self.verticalLayout_5.addLayout(self.horizontalLayout_3) self.formLayout = QtWidgets.QFormLayout() self.formLayout.setObjectName("formLayout") self.nl_text = QtWidgets.QLabel(self.verticalLayoutWidget) self.nl_text.setObjectName("nl_text") self.formLayout.setWidget(1, QtWidgets.QFormLayout.LabelRole, self.nl_text) self.nl_label = QtWidgets.QLabel(self.verticalLayoutWidget) self.nl_label.setAlignment(QtCore.Qt.AlignRight | QtCore.Qt.AlignTrailing | QtCore.Qt.AlignVCenter) self.nl_label.setObjectName("nl_label") self.formLayout.setWidget(1, QtWidgets.QFormLayout.FieldRole, self.nl_label) self.nj_text = QtWidgets.QLabel(self.verticalLayoutWidget) self.nj_text.setObjectName("nj_text") self.formLayout.setWidget(2, QtWidgets.QFormLayout.LabelRole, self.nj_text) self.nj_label = QtWidgets.QLabel(self.verticalLayoutWidget) self.nj_label.setAlignment(QtCore.Qt.AlignRight | QtCore.Qt.AlignTrailing | QtCore.Qt.AlignVCenter) self.nj_label.setObjectName("nj_label") self.formLayout.setWidget(2, QtWidgets.QFormLayout.FieldRole, self.nj_label) self.dof_text = QtWidgets.QLabel(self.verticalLayoutWidget) self.dof_text.setObjectName("dof_text") self.formLayout.setWidget(3, QtWidgets.QFormLayout.LabelRole, self.dof_text) self.dof_label = QtWidgets.QLabel(self.verticalLayoutWidget) self.dof_label.setAlignment(QtCore.Qt.AlignRight | QtCore.Qt.AlignTrailing | QtCore.Qt.AlignVCenter) self.dof_label.setObjectName("dof_label") self.formLayout.setWidget(3, QtWidgets.QFormLayout.FieldRole, self.dof_label) self.is_degenerate_text = QtWidgets.QLabel(self.verticalLayoutWidget) self.is_degenerate_text.setObjectName("is_degenerate_text") self.formLayout.setWidget(4, QtWidgets.QFormLayout.LabelRole, self.is_degenerate_text) self.is_degenerate_label = QtWidgets.QLabel(self.verticalLayoutWidget) self.is_degenerate_label.setAlignment(QtCore.Qt.AlignRight | QtCore.Qt.AlignTrailing | QtCore.Qt.AlignVCenter) self.is_degenerate_label.setObjectName("is_degenerate_label") self.formLayout.setWidget(4, QtWidgets.QFormLayout.FieldRole, self.is_degenerate_label) self.verticalLayout_5.addLayout(self.formLayout) self.verticalLayout_4 = QtWidgets.QVBoxLayout() self.verticalLayout_4.setObjectName("verticalLayout_4") self.link_assortment_text = QtWidgets.QLabel(self.verticalLayoutWidget) self.link_assortment_text.setObjectName("link_assortment_text") self.verticalLayout_4.addWidget(self.link_assortment_text) self.link_assortment_label = QtWidgets.QLabel( self.verticalLayoutWidget) self.link_assortment_label.setObjectName("link_assortment_label") self.verticalLayout_4.addWidget(self.link_assortment_label) self.contracted_link_assortment_text = QtWidgets.QLabel( self.verticalLayoutWidget) self.contracted_link_assortment_text.setObjectName( "contracted_link_assortment_text") self.verticalLayout_4.addWidget(self.contracted_link_assortment_text) self.contracted_link_assortment_label = QtWidgets.QLabel( self.verticalLayoutWidget) self.contracted_link_assortment_label.setObjectName( "contracted_link_assortment_label") self.verticalLayout_4.addWidget(self.contracted_link_assortment_label) self.configure_button = QtWidgets.QPushButton( self.verticalLayoutWidget) self.configure_button.setEnabled(False) icon8 = QtGui.QIcon() icon8.addPixmap(QtGui.QPixmap(":/icons/configure.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off) self.configure_button.setIcon(icon8) self.configure_button.setObjectName("configure_button") self.verticalLayout_4.addWidget(self.configure_button) self.grounded_merge = QtWidgets.QPushButton(self.verticalLayoutWidget) self.grounded_merge.setEnabled(False) icon9 = QtGui.QIcon() icon9.addPixmap(QtGui.QPixmap(":/icons/merge.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off) self.grounded_merge.setIcon(icon9) self.grounded_merge.setObjectName("grounded_merge") self.verticalLayout_4.addWidget(self.grounded_merge) self.verticalLayout_5.addLayout(self.verticalLayout_4) self.horizontalLayout_2.addLayout(self.verticalLayout_5) self.verticalLayout.addLayout(self.horizontalLayout_2) self.horizontalLayout_4 = QtWidgets.QHBoxLayout() self.horizontalLayout_4.setObjectName("horizontalLayout_4") self.grounded_list = QtWidgets.QListWidget(self.verticalLayoutWidget) self.grounded_list.setContextMenuPolicy(QtCore.Qt.CustomContextMenu) self.grounded_list.setIconSize(QtCore.QSize(150, 150)) self.grounded_list.setMovement(QtWidgets.QListView.Static) self.grounded_list.setResizeMode(QtWidgets.QListView.Adjust) self.grounded_list.setViewMode(QtWidgets.QListView.IconMode) self.grounded_list.setUniformItemSizes(True) self.grounded_list.setObjectName("grounded_list") self.horizontalLayout_4.addWidget(self.grounded_list) self.verticalLayout.addLayout(self.horizontalLayout_4) self.verticalLayout_2.addWidget(self.splitter) self.retranslateUi(Form) self.graph_engine.setCurrentIndex(-1) QtCore.QMetaObject.connectSlotsByName(Form)