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)