def setupUi(self, Dialog):
Dialog.setObjectName("Dialog")
Dialog.resize(442, 544)
Dialog.setSizeGripEnabled(True)
Dialog.setModal(True)
self.verticalLayout = QtWidgets.QVBoxLayout(Dialog)
self.verticalLayout.setObjectName("verticalLayout")
self.toolBox = QtWidgets.QToolBox(Dialog)
self.toolBox.setObjectName("toolBox")
self.page0 = QtWidgets.QWidget()
self.page0.setGeometry(QtCore.QRect(0, 0, 424, 329))
self.page0.setObjectName("page0")
self.verticalLayout_2 = QtWidgets.QVBoxLayout(self.page0)
self.verticalLayout_2.setObjectName("verticalLayout_2")
self.storage_label = QtWidgets.QLabel(self.page0)
self.storage_label.setObjectName("storage_label")
self.verticalLayout_2.addWidget(self.storage_label)
self.storage_list = QtWidgets.QListWidget(self.page0)
self.storage_list.setObjectName("storage_list")
self.verticalLayout_2.addWidget(self.storage_list)
icon = QtGui.QIcon()
icon.addPixmap(QtGui.QPixmap(":/icons/mechanism.png"),
QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.toolBox.addItem(self.page0, icon, "")
self.page1 = QtWidgets.QWidget()
self.page1.setGeometry(QtCore.QRect(0, 0, 171, 121))
self.page1.setObjectName("page1")
self.horizontalLayout_2 = QtWidgets.QHBoxLayout(self.page1)
self.horizontalLayout_2.setObjectName("horizontalLayout_2")
self.verticalLayout_3 = QtWidgets.QVBoxLayout()
self.verticalLayout_3.setObjectName("verticalLayout_3")
self.variables_label = QtWidgets.QLabel(self.page1)
self.variables_label.setObjectName("variables_label")
self.verticalLayout_3.addWidget(self.variables_label)
self.variables_list = QtWidgets.QListWidget(self.page1)
self.variables_list.setObjectName("variables_list")
self.verticalLayout_3.addWidget(self.variables_list)
self.horizontalLayout_2.addLayout(self.verticalLayout_3)
self.verticalLayout_4 = QtWidgets.QVBoxLayout()
self.verticalLayout_4.setObjectName("verticalLayout_4")
self.records_label = QtWidgets.QLabel(self.page1)
self.records_label.setObjectName("records_label")
self.verticalLayout_4.addWidget(self.records_label)
self.records_list = QtWidgets.QListWidget(self.page1)
self.records_list.setObjectName("records_list")
self.verticalLayout_4.addWidget(self.records_list)
self.horizontalLayout_2.addLayout(self.verticalLayout_4)
icon1 = QtGui.QIcon()
icon1.addPixmap(QtGui.QPixmap(":/icons/motor.png"), QtGui.QIcon.Normal,
QtGui.QIcon.Off)
self.toolBox.addItem(self.page1, icon1, "")
self.page2 = QtWidgets.QWidget()
self.page2.setGeometry(QtCore.QRect(0, 0, 259, 121))
self.page2.setObjectName("page2")
self.horizontalLayout_3 = QtWidgets.QHBoxLayout(self.page2)
self.horizontalLayout_3.setObjectName("horizontalLayout_3")
self.verticalLayout_6 = QtWidgets.QVBoxLayout()
self.verticalLayout_6.setObjectName("verticalLayout_6")
self.structures_label = QtWidgets.QLabel(self.page2)
self.structures_label.setObjectName("structures_label")
self.verticalLayout_6.addWidget(self.structures_label)
self.structures_list = QtWidgets.QListWidget(self.page2)
self.structures_list.setObjectName("structures_list")
self.verticalLayout_6.addWidget(self.structures_list)
self.horizontalLayout_3.addLayout(self.verticalLayout_6)
self.verticalLayout_5 = QtWidgets.QVBoxLayout()
self.verticalLayout_5.setObjectName("verticalLayout_5")
self.triangular_iteration_label = QtWidgets.QLabel(self.page2)
self.triangular_iteration_label.setObjectName(
"triangular_iteration_label")
self.verticalLayout_5.addWidget(self.triangular_iteration_label)
self.triangular_iteration_list = QtWidgets.QListWidget(self.page2)
self.triangular_iteration_list.setObjectName(
"triangular_iteration_list")
self.verticalLayout_5.addWidget(self.triangular_iteration_list)
self.horizontalLayout_3.addLayout(self.verticalLayout_5)
icon2 = QtGui.QIcon()
icon2.addPixmap(QtGui.QPixmap(":/icons/collections.png"),
QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.toolBox.addItem(self.page2, icon2, "")
self.page3 = QtWidgets.QWidget()
self.page3.setGeometry(QtCore.QRect(0, 0, 98, 119))
self.page3.setObjectName("page3")
self.verticalLayout_7 = QtWidgets.QVBoxLayout(self.page3)
self.verticalLayout_7.setObjectName("verticalLayout_7")
self.results_label = QtWidgets.QLabel(self.page3)
self.results_label.setObjectName("results_label")
self.verticalLayout_7.addWidget(self.results_label)
self.results_list = QtWidgets.QListWidget(self.page3)
self.results_list.setObjectName("results_list")
self.verticalLayout_7.addWidget(self.results_list)
icon3 = QtGui.QIcon()
icon3.addPixmap(QtGui.QPixmap(":/icons/DimensionalSynthesis.png"),
QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.toolBox.addItem(self.page3, icon3, "")
self.verticalLayout.addWidget(self.toolBox)
self.horizontalLayout = QtWidgets.QHBoxLayout()
self.horizontalLayout.setObjectName("horizontalLayout")
spacerItem = QtWidgets.QSpacerItem(40, 20,
QtWidgets.QSizePolicy.Expanding,
QtWidgets.QSizePolicy.Minimum)
self.horizontalLayout.addItem(spacerItem)
self.button_box = QtWidgets.QDialogButtonBox(Dialog)
self.button_box.setStandardButtons(QtWidgets.QDialogButtonBox.Close)
self.button_box.setObjectName("button_box")
self.horizontalLayout.addWidget(self.button_box)
self.verticalLayout.addLayout(self.horizontalLayout)
self.retranslateUi(Dialog)
self.button_box.rejected.connect(Dialog.reject)
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)
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, Dialog):
Dialog.setObjectName("Dialog")
Dialog.resize(811, 659)
Dialog.setSizeGripEnabled(True)
Dialog.setModal(True)
self.verticalLayout_2 = QtWidgets.QVBoxLayout(Dialog)
self.verticalLayout_2.setObjectName("verticalLayout_2")
self.information_tab = QtWidgets.QTabWidget(Dialog)
self.information_tab.setObjectName("information_tab")
self.geometry = QtWidgets.QWidget()
self.geometry.setObjectName("geometry")
self.verticalLayout = QtWidgets.QVBoxLayout(self.geometry)
self.verticalLayout.setObjectName("verticalLayout")
self.main_splitter = QtWidgets.QSplitter(self.geometry)
self.main_splitter.setOrientation(QtCore.Qt.Horizontal)
self.main_splitter.setObjectName("main_splitter")
self.leftWidget = QtWidgets.QWidget(self.main_splitter)
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Expanding,
QtWidgets.QSizePolicy.Expanding)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(
self.leftWidget.sizePolicy().hasHeightForWidth())
self.leftWidget.setSizePolicy(sizePolicy)
self.leftWidget.setObjectName("leftWidget")
self.left_layout = QtWidgets.QHBoxLayout(self.leftWidget)
self.left_layout.setContentsMargins(0, 0, 0, 0)
self.left_layout.setObjectName("left_layout")
self.line = QtWidgets.QFrame(self.leftWidget)
self.line.setFrameShape(QtWidgets.QFrame.VLine)
self.line.setFrameShadow(QtWidgets.QFrame.Sunken)
self.line.setObjectName("line")
self.left_layout.addWidget(self.line)
self.splitter = QtWidgets.QSplitter(self.main_splitter)
self.splitter.setOrientation(QtCore.Qt.Vertical)
self.splitter.setObjectName("splitter")
self.basic_groupbox = QtWidgets.QGroupBox(self.splitter)
self.basic_groupbox.setObjectName("basic_groupbox")
self.verticalLayout_4 = QtWidgets.QVBoxLayout(self.basic_groupbox)
self.verticalLayout_4.setContentsMargins(6, 6, 6, 6)
self.verticalLayout_4.setObjectName("verticalLayout_4")
self.scrollArea = QtWidgets.QScrollArea(self.basic_groupbox)
self.scrollArea.setWidgetResizable(True)
self.scrollArea.setObjectName("scrollArea")
self.scrollAreaWidgetContents = QtWidgets.QWidget()
self.scrollAreaWidgetContents.setGeometry(QtCore.QRect(0, 0, 717, 85))
self.scrollAreaWidgetContents.setObjectName("scrollAreaWidgetContents")
self.verticalLayout_6 = QtWidgets.QVBoxLayout(
self.scrollAreaWidgetContents)
self.verticalLayout_6.setObjectName("verticalLayout_6")
self.basic_label = QtWidgets.QLabel(self.scrollAreaWidgetContents)
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Minimum,
QtWidgets.QSizePolicy.Preferred)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(
self.basic_label.sizePolicy().hasHeightForWidth())
self.basic_label.setSizePolicy(sizePolicy)
self.basic_label.setObjectName("basic_label")
self.verticalLayout_6.addWidget(self.basic_label)
spacerItem = QtWidgets.QSpacerItem(20, 47,
QtWidgets.QSizePolicy.Minimum,
QtWidgets.QSizePolicy.Expanding)
self.verticalLayout_6.addItem(spacerItem)
self.scrollArea.setWidget(self.scrollAreaWidgetContents)
self.verticalLayout_4.addWidget(self.scrollArea)
self.algorithm_groupbox = QtWidgets.QGroupBox(self.splitter)
self.algorithm_groupbox.setObjectName("algorithm_groupbox")
self.verticalLayout_7 = QtWidgets.QVBoxLayout(self.algorithm_groupbox)
self.verticalLayout_7.setContentsMargins(6, 6, 6, 6)
self.verticalLayout_7.setObjectName("verticalLayout_7")
self.scrollArea_2 = QtWidgets.QScrollArea(self.algorithm_groupbox)
self.scrollArea_2.setWidgetResizable(True)
self.scrollArea_2.setObjectName("scrollArea_2")
self.scrollAreaWidgetContents_2 = QtWidgets.QWidget()
self.scrollAreaWidgetContents_2.setGeometry(
QtCore.QRect(0, 0, 717, 197))
self.scrollAreaWidgetContents_2.setObjectName(
"scrollAreaWidgetContents_2")
self.verticalLayout_5 = QtWidgets.QVBoxLayout(
self.scrollAreaWidgetContents_2)
self.verticalLayout_5.setObjectName("verticalLayout_5")
self.algorithm_label = QtWidgets.QLabel(
self.scrollAreaWidgetContents_2)
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Minimum,
QtWidgets.QSizePolicy.Preferred)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(
self.algorithm_label.sizePolicy().hasHeightForWidth())
self.algorithm_label.setSizePolicy(sizePolicy)
self.algorithm_label.setObjectName("algorithm_label")
self.verticalLayout_5.addWidget(self.algorithm_label)
spacerItem1 = QtWidgets.QSpacerItem(20, 201,
QtWidgets.QSizePolicy.Minimum,
QtWidgets.QSizePolicy.Expanding)
self.verticalLayout_5.addItem(spacerItem1)
self.scrollArea_2.setWidget(self.scrollAreaWidgetContents_2)
self.verticalLayout_7.addWidget(self.scrollArea_2)
self.hardware_groupbox = QtWidgets.QGroupBox(self.splitter)
self.hardware_groupbox.setObjectName("hardware_groupbox")
self.verticalLayout_3 = QtWidgets.QVBoxLayout(self.hardware_groupbox)
self.verticalLayout_3.setContentsMargins(6, 6, 6, 6)
self.verticalLayout_3.setObjectName("verticalLayout_3")
self.scrollArea_3 = QtWidgets.QScrollArea(self.hardware_groupbox)
self.scrollArea_3.setWidgetResizable(True)
self.scrollArea_3.setObjectName("scrollArea_3")
self.scrollAreaWidgetContents_3 = QtWidgets.QWidget()
self.scrollAreaWidgetContents_3.setGeometry(
QtCore.QRect(0, 0, 717, 196))
self.scrollAreaWidgetContents_3.setObjectName(
"scrollAreaWidgetContents_3")
self.verticalLayout_8 = QtWidgets.QVBoxLayout(
self.scrollAreaWidgetContents_3)
self.verticalLayout_8.setObjectName("verticalLayout_8")
self.hardware_label = QtWidgets.QLabel(self.scrollAreaWidgetContents_3)
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Minimum,
QtWidgets.QSizePolicy.Preferred)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(
self.hardware_label.sizePolicy().hasHeightForWidth())
self.hardware_label.setSizePolicy(sizePolicy)
self.hardware_label.setObjectName("hardware_label")
self.verticalLayout_8.addWidget(self.hardware_label)
spacerItem2 = QtWidgets.QSpacerItem(20, 201,
QtWidgets.QSizePolicy.Minimum,
QtWidgets.QSizePolicy.Expanding)
self.verticalLayout_8.addItem(spacerItem2)
self.scrollArea_3.setWidget(self.scrollAreaWidgetContents_3)
self.verticalLayout_3.addWidget(self.scrollArea_3)
self.verticalLayout.addWidget(self.main_splitter)
self.information_tab.addTab(self.geometry, "")
self.verticalLayout_2.addWidget(self.information_tab)
self.retranslateUi(Dialog)
self.information_tab.setCurrentIndex(0)
QtCore.QMetaObject.connectSlotsByName(Dialog)
def setupUi(self, Dialog):
Dialog.setObjectName("Dialog")
Dialog.setEnabled(True)
Dialog.resize(586, 494)
icon = QtGui.QIcon()
icon.addPixmap(QtGui.QPixmap(":/icons/main.png"), QtGui.QIcon.Normal,
QtGui.QIcon.Off)
Dialog.setWindowIcon(icon)
Dialog.setSizeGripEnabled(False)
Dialog.setModal(True)
self.verticalLayout_7 = QtWidgets.QVBoxLayout(Dialog)
self.verticalLayout_7.setContentsMargins(-1, 6, 6, 6)
self.verticalLayout_7.setObjectName("verticalLayout_7")
self.horizontalLayout = QtWidgets.QHBoxLayout()
self.horizontalLayout.setObjectName("horizontalLayout")
self.verticalLayout_2 = QtWidgets.QVBoxLayout()
self.verticalLayout_2.setObjectName("verticalLayout_2")
self.iconLabel = QtWidgets.QLabel(Dialog)
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Fixed,
QtWidgets.QSizePolicy.Preferred)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(
self.iconLabel.sizePolicy().hasHeightForWidth())
self.iconLabel.setSizePolicy(sizePolicy)
self.iconLabel.setAlignment(QtCore.Qt.AlignLeading
| QtCore.Qt.AlignLeft | QtCore.Qt.AlignTop)
self.iconLabel.setObjectName("iconLabel")
self.verticalLayout_2.addWidget(self.iconLabel)
spacerItem = QtWidgets.QSpacerItem(20, 40,
QtWidgets.QSizePolicy.Minimum,
QtWidgets.QSizePolicy.Expanding)
self.verticalLayout_2.addItem(spacerItem)
self.horizontalLayout.addLayout(self.verticalLayout_2)
self.verticalLayout_3 = QtWidgets.QVBoxLayout()
self.verticalLayout_3.setObjectName("verticalLayout_3")
self.title_label = QtWidgets.QLabel(Dialog)
self.title_label.setText("")
self.title_label.setObjectName("title_label")
self.verticalLayout_3.addWidget(self.title_label)
self.tab_widget = QtWidgets.QTabWidget(Dialog)
self.tab_widget.setObjectName("tab_widget")
self.AboutTab = QtWidgets.QWidget()
self.AboutTab.setObjectName("AboutTab")
self.verticalLayout_4 = QtWidgets.QVBoxLayout(self.AboutTab)
self.verticalLayout_4.setContentsMargins(6, 6, 6, 6)
self.verticalLayout_4.setObjectName("verticalLayout_4")
self.description_text = QtWidgets.QTextBrowser(self.AboutTab)
self.description_text.setObjectName("description_text")
self.verticalLayout_4.addWidget(self.description_text)
self.tab_widget.addTab(self.AboutTab, "")
self.LicenseTab = QtWidgets.QWidget()
self.LicenseTab.setObjectName("LicenseTab")
self.verticalLayout = QtWidgets.QVBoxLayout(self.LicenseTab)
self.verticalLayout.setObjectName("verticalLayout")
self.license_text = QtWidgets.QTextBrowser(self.LicenseTab)
self.license_text.setObjectName("license_text")
self.verticalLayout.addWidget(self.license_text)
self.tab_widget.addTab(self.LicenseTab, "")
self.VersionsTab = QtWidgets.QWidget()
self.VersionsTab.setObjectName("VersionsTab")
self.verticalLayout_6 = QtWidgets.QVBoxLayout(self.VersionsTab)
self.verticalLayout_6.setContentsMargins(6, 6, 6, 6)
self.verticalLayout_6.setObjectName("verticalLayout_6")
self.ver_text = QtWidgets.QTextBrowser(self.VersionsTab)
self.ver_text.setObjectName("ver_text")
self.verticalLayout_6.addWidget(self.ver_text)
self.tab_widget.addTab(self.VersionsTab, "")
self.ArgumentsTab = QtWidgets.QWidget()
self.ArgumentsTab.setObjectName("ArgumentsTab")
self.verticalLayout_9 = QtWidgets.QVBoxLayout(self.ArgumentsTab)
self.verticalLayout_9.setContentsMargins(6, 6, 6, 6)
self.verticalLayout_9.setObjectName("verticalLayout_9")
self.args_text = QtWidgets.QTextBrowser(self.ArgumentsTab)
self.args_text.setObjectName("args_text")
self.verticalLayout_9.addWidget(self.args_text)
self.tab_widget.addTab(self.ArgumentsTab, "")
self.verticalLayout_3.addWidget(self.tab_widget)
self.horizontalLayout.addLayout(self.verticalLayout_3)
self.verticalLayout_7.addLayout(self.horizontalLayout)
self.horizontalLayout_2 = QtWidgets.QHBoxLayout()
self.horizontalLayout_2.setObjectName("horizontalLayout_2")
spacerItem1 = QtWidgets.QSpacerItem(40, 20,
QtWidgets.QSizePolicy.Expanding,
QtWidgets.QSizePolicy.Minimum)
self.horizontalLayout_2.addItem(spacerItem1)
self.button_box = QtWidgets.QDialogButtonBox(Dialog)
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Fixed,
QtWidgets.QSizePolicy.Fixed)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(
self.button_box.sizePolicy().hasHeightForWidth())
self.button_box.setSizePolicy(sizePolicy)
self.button_box.setOrientation(QtCore.Qt.Horizontal)
self.button_box.setStandardButtons(QtWidgets.QDialogButtonBox.Ok)
self.button_box.setObjectName("button_box")
self.horizontalLayout_2.addWidget(self.button_box)
self.verticalLayout_7.addLayout(self.horizontalLayout_2)
self.retranslateUi(Dialog)
self.tab_widget.setCurrentIndex(0)
self.button_box.accepted.connect(Dialog.accept)
self.button_box.rejected.connect(Dialog.reject)
QtCore.QMetaObject.connectSlotsByName(Dialog)
def setupUi(self, Dialog):
Dialog.setObjectName("Dialog")
Dialog.resize(570, 375)
icon = QtGui.QIcon()
icon.addPixmap(QtGui.QPixmap(":/icons/DimensionalSynthesis.png"),
QtGui.QIcon.Normal, QtGui.QIcon.Off)
Dialog.setWindowIcon(icon)
Dialog.setSizeGripEnabled(True)
Dialog.setModal(True)
self.verticalLayout_5 = QtWidgets.QVBoxLayout(Dialog)
self.verticalLayout_5.setObjectName("verticalLayout_5")
self.splitter = QtWidgets.QSplitter(Dialog)
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Expanding,
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.layoutWidget = QtWidgets.QWidget(self.splitter)
self.layoutWidget.setObjectName("layoutWidget")
self.verticalLayout = QtWidgets.QVBoxLayout(self.layoutWidget)
self.verticalLayout.setContentsMargins(0, 0, 0, 0)
self.verticalLayout.setObjectName("verticalLayout")
self.path_list = QtWidgets.QListWidget(self.layoutWidget)
self.path_list.setObjectName("path_list")
self.verticalLayout.addWidget(self.path_list)
self.tabWidget = QtWidgets.QTabWidget(self.splitter)
self.tabWidget.setObjectName("tabWidget")
self.moving = QtWidgets.QWidget()
self.moving.setObjectName("moving")
self.verticalLayout_2 = QtWidgets.QVBoxLayout(self.moving)
self.verticalLayout_2.setContentsMargins(6, 6, 6, 6)
self.verticalLayout_2.setObjectName("verticalLayout_2")
self.gridLayout = QtWidgets.QGridLayout()
self.gridLayout.setObjectName("gridLayout")
self.label = QtWidgets.QLabel(self.moving)
self.label.setObjectName("label")
self.gridLayout.addWidget(self.label, 0, 0, 1, 1)
spacerItem = QtWidgets.QSpacerItem(40, 20,
QtWidgets.QSizePolicy.Expanding,
QtWidgets.QSizePolicy.Minimum)
self.gridLayout.addItem(spacerItem, 0, 2, 1, 1)
self.label_2 = QtWidgets.QLabel(self.moving)
self.label_2.setObjectName("label_2")
self.gridLayout.addWidget(self.label_2, 1, 0, 1, 1)
self.moving_y_coordinate = QtWidgets.QDoubleSpinBox(self.moving)
self.moving_y_coordinate.setMinimum(-1000000.0)
self.moving_y_coordinate.setMaximum(1000000.0)
self.moving_y_coordinate.setObjectName("moving_y_coordinate")
self.gridLayout.addWidget(self.moving_y_coordinate, 1, 1, 1, 1)
spacerItem1 = QtWidgets.QSpacerItem(40, 20,
QtWidgets.QSizePolicy.Expanding,
QtWidgets.QSizePolicy.Minimum)
self.gridLayout.addItem(spacerItem1, 1, 2, 1, 1)
self.moving_x_coordinate = QtWidgets.QDoubleSpinBox(self.moving)
self.moving_x_coordinate.setMinimum(-1000000.0)
self.moving_x_coordinate.setMaximum(1000000.0)
self.moving_x_coordinate.setObjectName("moving_x_coordinate")
self.gridLayout.addWidget(self.moving_x_coordinate, 0, 1, 1, 1)
self.verticalLayout_2.addLayout(self.gridLayout)
spacerItem2 = QtWidgets.QSpacerItem(20, 99,
QtWidgets.QSizePolicy.Minimum,
QtWidgets.QSizePolicy.Expanding)
self.verticalLayout_2.addItem(spacerItem2)
self.horizontalLayout_3 = QtWidgets.QHBoxLayout()
self.horizontalLayout_3.setObjectName("horizontalLayout_3")
spacerItem3 = QtWidgets.QSpacerItem(40, 20,
QtWidgets.QSizePolicy.Expanding,
QtWidgets.QSizePolicy.Minimum)
self.horizontalLayout_3.addItem(spacerItem3)
self.moving_button = QtWidgets.QPushButton(self.moving)
self.moving_button.setDefault(True)
self.moving_button.setObjectName("moving_button")
self.horizontalLayout_3.addWidget(self.moving_button)
spacerItem4 = QtWidgets.QSpacerItem(40, 20,
QtWidgets.QSizePolicy.Expanding,
QtWidgets.QSizePolicy.Minimum)
self.horizontalLayout_3.addItem(spacerItem4)
self.verticalLayout_2.addLayout(self.horizontalLayout_3)
self.tabWidget.addTab(self.moving, "")
self.scaling = QtWidgets.QWidget()
self.scaling.setObjectName("scaling")
self.verticalLayout_3 = QtWidgets.QVBoxLayout(self.scaling)
self.verticalLayout_3.setContentsMargins(6, 6, 6, 6)
self.verticalLayout_3.setObjectName("verticalLayout_3")
self.gridLayout_2 = QtWidgets.QGridLayout()
self.gridLayout_2.setObjectName("gridLayout_2")
spacerItem5 = QtWidgets.QSpacerItem(40, 20,
QtWidgets.QSizePolicy.Expanding,
QtWidgets.QSizePolicy.Minimum)
self.gridLayout_2.addItem(spacerItem5, 0, 2, 1, 1)
self.scaling_h = QtWidgets.QDoubleSpinBox(self.scaling)
self.scaling_h.setMinimum(1.0)
self.scaling_h.setMaximum(10000.0)
self.scaling_h.setObjectName("scaling_h")
self.gridLayout_2.addWidget(self.scaling_h, 0, 1, 1, 1)
self.label_3 = QtWidgets.QLabel(self.scaling)
self.label_3.setObjectName("label_3")
self.gridLayout_2.addWidget(self.label_3, 0, 0, 1, 1)
self.label_4 = QtWidgets.QLabel(self.scaling)
self.label_4.setObjectName("label_4")
self.gridLayout_2.addWidget(self.label_4, 1, 0, 1, 1)
spacerItem6 = QtWidgets.QSpacerItem(40, 20,
QtWidgets.QSizePolicy.Expanding,
QtWidgets.QSizePolicy.Minimum)
self.gridLayout_2.addItem(spacerItem6, 1, 2, 1, 1)
self.scaling_v = QtWidgets.QDoubleSpinBox(self.scaling)
self.scaling_v.setMinimum(1.0)
self.scaling_v.setMaximum(10000.0)
self.scaling_v.setObjectName("scaling_v")
self.gridLayout_2.addWidget(self.scaling_v, 1, 1, 1, 1)
self.verticalLayout_3.addLayout(self.gridLayout_2)
self.line = QtWidgets.QFrame(self.scaling)
self.line.setFrameShape(QtWidgets.QFrame.HLine)
self.line.setFrameShadow(QtWidgets.QFrame.Sunken)
self.line.setObjectName("line")
self.verticalLayout_3.addWidget(self.line)
self.horizontalLayout_2 = QtWidgets.QHBoxLayout()
self.horizontalLayout_2.setObjectName("horizontalLayout_2")
self.label_5 = QtWidgets.QLabel(self.scaling)
self.label_5.setObjectName("label_5")
self.horizontalLayout_2.addWidget(self.label_5)
self.scaling_rx = QtWidgets.QDoubleSpinBox(self.scaling)
self.scaling_rx.setMinimum(-1000000.0)
self.scaling_rx.setMaximum(1000000.0)
self.scaling_rx.setObjectName("scaling_rx")
self.horizontalLayout_2.addWidget(self.scaling_rx)
self.scaling_ry = QtWidgets.QDoubleSpinBox(self.scaling)
self.scaling_ry.setMinimum(-1000000.0)
self.scaling_ry.setMaximum(1000000.0)
self.scaling_ry.setObjectName("scaling_ry")
self.horizontalLayout_2.addWidget(self.scaling_ry)
spacerItem7 = QtWidgets.QSpacerItem(40, 20,
QtWidgets.QSizePolicy.Expanding,
QtWidgets.QSizePolicy.Minimum)
self.horizontalLayout_2.addItem(spacerItem7)
self.verticalLayout_3.addLayout(self.horizontalLayout_2)
spacerItem8 = QtWidgets.QSpacerItem(20, 52,
QtWidgets.QSizePolicy.Minimum,
QtWidgets.QSizePolicy.Expanding)
self.verticalLayout_3.addItem(spacerItem8)
self.horizontalLayout_4 = QtWidgets.QHBoxLayout()
self.horizontalLayout_4.setObjectName("horizontalLayout_4")
spacerItem9 = QtWidgets.QSpacerItem(40, 20,
QtWidgets.QSizePolicy.Expanding,
QtWidgets.QSizePolicy.Minimum)
self.horizontalLayout_4.addItem(spacerItem9)
self.scaling_button = QtWidgets.QPushButton(self.scaling)
self.scaling_button.setDefault(True)
self.scaling_button.setObjectName("scaling_button")
self.horizontalLayout_4.addWidget(self.scaling_button)
spacerItem10 = QtWidgets.QSpacerItem(40, 20,
QtWidgets.QSizePolicy.Expanding,
QtWidgets.QSizePolicy.Minimum)
self.horizontalLayout_4.addItem(spacerItem10)
self.verticalLayout_3.addLayout(self.horizontalLayout_4)
self.tabWidget.addTab(self.scaling, "")
self.curve_fitting = QtWidgets.QWidget()
self.curve_fitting.setObjectName("curve_fitting")
self.verticalLayout_4 = QtWidgets.QVBoxLayout(self.curve_fitting)
self.verticalLayout_4.setContentsMargins(6, 6, 6, 6)
self.verticalLayout_4.setObjectName("verticalLayout_4")
self.label_8 = QtWidgets.QLabel(self.curve_fitting)
self.label_8.setWordWrap(True)
self.label_8.setObjectName("label_8")
self.verticalLayout_4.addWidget(self.label_8)
self.horizontalLayout_7 = QtWidgets.QHBoxLayout()
self.horizontalLayout_7.setObjectName("horizontalLayout_7")
self.label_7 = QtWidgets.QLabel(self.curve_fitting)
self.label_7.setObjectName("label_7")
self.horizontalLayout_7.addWidget(self.label_7)
self.points_num = QtWidgets.QLabel(self.curve_fitting)
self.points_num.setObjectName("points_num")
self.horizontalLayout_7.addWidget(self.points_num)
spacerItem11 = QtWidgets.QSpacerItem(40, 20,
QtWidgets.QSizePolicy.Expanding,
QtWidgets.QSizePolicy.Minimum)
self.horizontalLayout_7.addItem(spacerItem11)
self.verticalLayout_4.addLayout(self.horizontalLayout_7)
self.horizontalLayout_6 = QtWidgets.QHBoxLayout()
self.horizontalLayout_6.setObjectName("horizontalLayout_6")
self.label_6 = QtWidgets.QLabel(self.curve_fitting)
self.label_6.setObjectName("label_6")
self.horizontalLayout_6.addWidget(self.label_6)
self.match_num = QtWidgets.QSpinBox(self.curve_fitting)
self.match_num.setObjectName("match_num")
self.horizontalLayout_6.addWidget(self.match_num)
spacerItem12 = QtWidgets.QSpacerItem(40, 20,
QtWidgets.QSizePolicy.Expanding,
QtWidgets.QSizePolicy.Minimum)
self.horizontalLayout_6.addItem(spacerItem12)
self.verticalLayout_4.addLayout(self.horizontalLayout_6)
spacerItem13 = QtWidgets.QSpacerItem(20, 40,
QtWidgets.QSizePolicy.Minimum,
QtWidgets.QSizePolicy.Expanding)
self.verticalLayout_4.addItem(spacerItem13)
self.horizontalLayout_8 = QtWidgets.QHBoxLayout()
self.horizontalLayout_8.setObjectName("horizontalLayout_8")
spacerItem14 = QtWidgets.QSpacerItem(40, 20,
QtWidgets.QSizePolicy.Expanding,
QtWidgets.QSizePolicy.Minimum)
self.horizontalLayout_8.addItem(spacerItem14)
self.match_button = QtWidgets.QPushButton(self.curve_fitting)
self.match_button.setDefault(True)
self.match_button.setObjectName("match_button")
self.horizontalLayout_8.addWidget(self.match_button)
spacerItem15 = QtWidgets.QSpacerItem(40, 20,
QtWidgets.QSizePolicy.Expanding,
QtWidgets.QSizePolicy.Minimum)
self.horizontalLayout_8.addItem(spacerItem15)
self.verticalLayout_4.addLayout(self.horizontalLayout_8)
self.tabWidget.addTab(self.curve_fitting, "")
self.verticalLayout_5.addWidget(self.splitter)
self.horizontalLayout = QtWidgets.QHBoxLayout()
self.horizontalLayout.setObjectName("horizontalLayout")
spacerItem16 = QtWidgets.QSpacerItem(40, 20,
QtWidgets.QSizePolicy.Expanding,
QtWidgets.QSizePolicy.Minimum)
self.horizontalLayout.addItem(spacerItem16)
self.button_box = QtWidgets.QDialogButtonBox(Dialog)
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Fixed,
QtWidgets.QSizePolicy.Fixed)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(
self.button_box.sizePolicy().hasHeightForWidth())
self.button_box.setSizePolicy(sizePolicy)
self.button_box.setStandardButtons(QtWidgets.QDialogButtonBox.Close)
self.button_box.setObjectName("button_box")
self.horizontalLayout.addWidget(self.button_box)
self.verticalLayout_5.addLayout(self.horizontalLayout)
self.retranslateUi(Dialog)
self.button_box.rejected.connect(Dialog.reject)
QtCore.QMetaObject.connectSlotsByName(Dialog)
def setupUi(self, Dialog):
Dialog.setObjectName("Dialog")
Dialog.resize(651, 532)
icon = QtGui.QIcon()
icon.addPixmap(QtGui.QPixmap(":/icons/collections.png"),
QtGui.QIcon.Normal, QtGui.QIcon.Off)
Dialog.setWindowIcon(icon)
Dialog.setSizeGripEnabled(True)
Dialog.setModal(True)
self.verticalLayout_4 = QtWidgets.QVBoxLayout(Dialog)
self.verticalLayout_4.setObjectName("verticalLayout_4")
self.main_splitter = QtWidgets.QSplitter(Dialog)
self.main_splitter.setOrientation(QtCore.Qt.Horizontal)
self.main_splitter.setObjectName("main_splitter")
self.preview_box = QtWidgets.QGroupBox(self.main_splitter)
self.preview_box.setObjectName("preview_box")
self.preview_layout = QtWidgets.QVBoxLayout(self.preview_box)
self.preview_layout.setObjectName("preview_layout")
self.show_solutions = QtWidgets.QCheckBox(self.preview_box)
self.show_solutions.setChecked(True)
self.show_solutions.setObjectName("show_solutions")
self.preview_layout.addWidget(self.show_solutions)
self.sub_splitter = QtWidgets.QSplitter(self.main_splitter)
self.sub_splitter.setOrientation(QtCore.Qt.Vertical)
self.sub_splitter.setObjectName("sub_splitter")
self.layoutWidget = QtWidgets.QWidget(self.sub_splitter)
self.layoutWidget.setObjectName("layoutWidget")
self.verticalLayout_2 = QtWidgets.QVBoxLayout(self.layoutWidget)
self.verticalLayout_2.setContentsMargins(0, 0, 0, 0)
self.verticalLayout_2.setObjectName("verticalLayout_2")
self.common_label = QtWidgets.QLabel(self.layoutWidget)
self.common_label.setObjectName("common_label")
self.verticalLayout_2.addWidget(self.common_label)
self.common_list = QtWidgets.QListWidget(self.layoutWidget)
self.common_list.setObjectName("common_list")
self.verticalLayout_2.addWidget(self.common_list)
self.common_load = QtWidgets.QPushButton(self.layoutWidget)
icon1 = QtGui.QIcon()
icon1.addPixmap(QtGui.QPixmap(":/icons/data.png"), QtGui.QIcon.Normal,
QtGui.QIcon.Off)
self.common_load.setIcon(icon1)
self.common_load.setObjectName("common_load")
self.verticalLayout_2.addWidget(self.common_load)
self.verticalLayoutWidget = QtWidgets.QWidget(self.sub_splitter)
self.verticalLayoutWidget.setObjectName("verticalLayoutWidget")
self.verticalLayout_3 = QtWidgets.QVBoxLayout(
self.verticalLayoutWidget)
self.verticalLayout_3.setContentsMargins(0, 0, 0, 0)
self.verticalLayout_3.setObjectName("verticalLayout_3")
self.line = QtWidgets.QFrame(self.verticalLayoutWidget)
self.line.setFrameShape(QtWidgets.QFrame.HLine)
self.line.setFrameShadow(QtWidgets.QFrame.Sunken)
self.line.setObjectName("line")
self.verticalLayout_3.addWidget(self.line)
self.Collections_label = QtWidgets.QLabel(self.verticalLayoutWidget)
self.Collections_label.setObjectName("Collections_label")
self.verticalLayout_3.addWidget(self.Collections_label)
self.horizontalLayout_2 = QtWidgets.QHBoxLayout()
self.horizontalLayout_2.setObjectName("horizontalLayout_2")
self.collections_list = QtWidgets.QListWidget(
self.verticalLayoutWidget)
self.collections_list.setObjectName("collections_list")
self.horizontalLayout_2.addWidget(self.collections_list)
self.verticalLayout = QtWidgets.QVBoxLayout()
self.verticalLayout.setObjectName("verticalLayout")
self.workbook_button = QtWidgets.QPushButton(self.verticalLayoutWidget)
icon2 = QtGui.QIcon()
icon2.addPixmap(QtGui.QPixmap(":/icons/mechanism.png"),
QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.workbook_button.setIcon(icon2)
self.workbook_button.setObjectName("workbook_button")
self.verticalLayout.addWidget(self.workbook_button)
self.line_2 = QtWidgets.QFrame(self.verticalLayoutWidget)
self.line_2.setFrameShape(QtWidgets.QFrame.HLine)
self.line_2.setFrameShadow(QtWidgets.QFrame.Sunken)
self.line_2.setObjectName("line_2")
self.verticalLayout.addWidget(self.line_2)
self.rename_button = QtWidgets.QPushButton(self.verticalLayoutWidget)
icon3 = QtGui.QIcon()
icon3.addPixmap(QtGui.QPixmap(":/icons/rename.png"),
QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.rename_button.setIcon(icon3)
self.rename_button.setAutoDefault(False)
self.rename_button.setObjectName("rename_button")
self.verticalLayout.addWidget(self.rename_button)
self.copy_button = QtWidgets.QPushButton(self.verticalLayoutWidget)
icon4 = QtGui.QIcon()
icon4.addPixmap(QtGui.QPixmap(":/icons/copy.png"), QtGui.QIcon.Normal,
QtGui.QIcon.Off)
self.copy_button.setIcon(icon4)
self.copy_button.setObjectName("copy_button")
self.verticalLayout.addWidget(self.copy_button)
spacerItem = QtWidgets.QSpacerItem(20, 40,
QtWidgets.QSizePolicy.Minimum,
QtWidgets.QSizePolicy.Expanding)
self.verticalLayout.addItem(spacerItem)
self.delete_button = QtWidgets.QPushButton(self.verticalLayoutWidget)
icon5 = QtGui.QIcon()
icon5.addPixmap(QtGui.QPixmap(":/icons/delete.png"),
QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.delete_button.setIcon(icon5)
self.delete_button.setAutoDefault(False)
self.delete_button.setObjectName("delete_button")
self.verticalLayout.addWidget(self.delete_button)
self.horizontalLayout_2.addLayout(self.verticalLayout)
self.verticalLayout_3.addLayout(self.horizontalLayout_2)
self.verticalLayout_4.addWidget(self.main_splitter)
self.horizontalLayout_3 = QtWidgets.QHBoxLayout()
self.horizontalLayout_3.setObjectName("horizontalLayout_3")
spacerItem1 = QtWidgets.QSpacerItem(40, 20,
QtWidgets.QSizePolicy.Expanding,
QtWidgets.QSizePolicy.Minimum)
self.horizontalLayout_3.addItem(spacerItem1)
self.button_box = QtWidgets.QDialogButtonBox(Dialog)
self.button_box.setStandardButtons(QtWidgets.QDialogButtonBox.Close
| QtWidgets.QDialogButtonBox.Open)
self.button_box.setObjectName("button_box")
self.horizontalLayout_3.addWidget(self.button_box)
self.verticalLayout_4.addLayout(self.horizontalLayout_3)
self.retranslateUi(Dialog)
self.button_box.rejected.connect(Dialog.reject)
self.button_box.accepted.connect(Dialog.accept)
self.common_load.clicked.connect(Dialog.accept)
QtCore.QMetaObject.connectSlotsByName(Dialog)
def setupUi(self, Form):
Form.setObjectName("Form")
Form.resize(564, 682)
icon = QtGui.QIcon()
icon.addPixmap(QtGui.QPixmap(":/icons/dimensional_synthesis.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
Form.setWindowIcon(icon)
self.verticalLayout_4 = QtWidgets.QVBoxLayout(Form)
self.verticalLayout_4.setObjectName("verticalLayout_4")
self.main_splitter = QtWidgets.QSplitter(Form)
self.main_splitter.setOrientation(QtCore.Qt.Vertical)
self.main_splitter.setObjectName("main_splitter")
self.options_tab = QtWidgets.QTabWidget(self.main_splitter)
self.options_tab.setObjectName("options_tab")
self.structure = QtWidgets.QWidget()
self.structure.setObjectName("structure")
self.verticalLayout_6 = QtWidgets.QVBoxLayout(self.structure)
self.verticalLayout_6.setObjectName("verticalLayout_6")
self.horizontalLayout_7 = QtWidgets.QHBoxLayout()
self.horizontalLayout_7.setObjectName("horizontalLayout_7")
self.load_profile = QtWidgets.QPushButton(self.structure)
icon1 = QtGui.QIcon()
icon1.addPixmap(QtGui.QPixmap(":/icons/collections.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.load_profile.setIcon(icon1)
self.load_profile.setObjectName("load_profile")
self.horizontalLayout_7.addWidget(self.load_profile)
self.save_profile = QtWidgets.QPushButton(self.structure)
icon2 = QtGui.QIcon()
icon2.addPixmap(QtGui.QPixmap(":/icons/save_file.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.save_profile.setIcon(icon2)
self.save_profile.setObjectName("save_profile")
self.horizontalLayout_7.addWidget(self.save_profile)
self.profile_name = QtWidgets.QLineEdit(self.structure)
self.profile_name.setReadOnly(True)
self.profile_name.setObjectName("profile_name")
self.horizontalLayout_7.addWidget(self.profile_name)
self.clear_button = QtWidgets.QPushButton(self.structure)
icon3 = QtGui.QIcon()
icon3.addPixmap(QtGui.QPixmap(":/icons/clean.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.clear_button.setIcon(icon3)
self.clear_button.setObjectName("clear_button")
self.horizontalLayout_7.addWidget(self.clear_button)
self.verticalLayout_6.addLayout(self.horizontalLayout_7)
self.horizontalLayout_17 = QtWidgets.QHBoxLayout()
self.horizontalLayout_17.setObjectName("horizontalLayout_17")
self.expression_string = QtWidgets.QLineEdit(self.structure)
self.expression_string.setReadOnly(True)
self.expression_string.setObjectName("expression_string")
self.horizontalLayout_17.addWidget(self.expression_string)
self.expr_copy = QtWidgets.QPushButton(self.structure)
icon4 = QtGui.QIcon()
icon4.addPixmap(QtGui.QPixmap(":/icons/copy.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.expr_copy.setIcon(icon4)
self.expr_copy.setObjectName("expr_copy")
self.horizontalLayout_17.addWidget(self.expr_copy)
self.verticalLayout_6.addLayout(self.horizontalLayout_17)
self.up_splitter = QtWidgets.QSplitter(self.structure)
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Expanding, QtWidgets.QSizePolicy.Expanding)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.up_splitter.sizePolicy().hasHeightForWidth())
self.up_splitter.setSizePolicy(sizePolicy)
self.up_splitter.setOrientation(QtCore.Qt.Horizontal)
self.up_splitter.setObjectName("up_splitter")
self.parameter_list = QtWidgets.QTableWidget(self.up_splitter)
self.parameter_list.setSelectionBehavior(QtWidgets.QAbstractItemView.SelectRows)
self.parameter_list.setVerticalScrollMode(QtWidgets.QAbstractItemView.ScrollPerPixel)
self.parameter_list.setHorizontalScrollMode(QtWidgets.QAbstractItemView.ScrollPerPixel)
self.parameter_list.setObjectName("parameter_list")
self.parameter_list.setColumnCount(5)
self.parameter_list.setRowCount(0)
item = QtWidgets.QTableWidgetItem()
self.parameter_list.setHorizontalHeaderItem(0, item)
item = QtWidgets.QTableWidgetItem()
self.parameter_list.setHorizontalHeaderItem(1, item)
item = QtWidgets.QTableWidgetItem()
self.parameter_list.setHorizontalHeaderItem(2, item)
item = QtWidgets.QTableWidgetItem()
self.parameter_list.setHorizontalHeaderItem(3, item)
item = QtWidgets.QTableWidgetItem()
self.parameter_list.setHorizontalHeaderItem(4, item)
self.preview_box = QtWidgets.QGroupBox(self.up_splitter)
self.preview_box.setObjectName("preview_box")
self.preview_layout = QtWidgets.QVBoxLayout(self.preview_box)
self.preview_layout.setObjectName("preview_layout")
self.show_solutions = QtWidgets.QCheckBox(self.preview_box)
self.show_solutions.setChecked(True)
self.show_solutions.setObjectName("show_solutions")
self.preview_layout.addWidget(self.show_solutions)
self.verticalLayout_6.addWidget(self.up_splitter)
icon5 = QtGui.QIcon()
icon5.addPixmap(QtGui.QPixmap(":/icons/structure.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.options_tab.addTab(self.structure, icon5, "")
self.target_path = QtWidgets.QWidget()
self.target_path.setObjectName("target_path")
self.verticalLayout_5 = QtWidgets.QVBoxLayout(self.target_path)
self.verticalLayout_5.setObjectName("verticalLayout_5")
self.down_splitter = QtWidgets.QSplitter(self.target_path)
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Preferred, QtWidgets.QSizePolicy.Expanding)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(self.down_splitter.sizePolicy().hasHeightForWidth())
self.down_splitter.setSizePolicy(sizePolicy)
self.down_splitter.setOrientation(QtCore.Qt.Horizontal)
self.down_splitter.setObjectName("down_splitter")
self.target_points = QtWidgets.QListWidget(self.down_splitter)
self.target_points.setObjectName("target_points")
self.layoutWidget = QtWidgets.QWidget(self.down_splitter)
self.layoutWidget.setObjectName("layoutWidget")
self.verticalLayout_2 = QtWidgets.QVBoxLayout(self.layoutWidget)
self.verticalLayout_2.setContentsMargins(0, 0, 0, 0)
self.verticalLayout_2.setSpacing(3)
self.verticalLayout_2.setObjectName("verticalLayout_2")
self.horizontalLayout_2 = QtWidgets.QHBoxLayout()
self.horizontalLayout_2.setObjectName("horizontalLayout_2")
self.pointNum = QtWidgets.QLabel(self.layoutWidget)
self.pointNum.setAlignment(QtCore.Qt.AlignLeading|QtCore.Qt.AlignLeft|QtCore.Qt.AlignTop)
self.pointNum.setObjectName("pointNum")
self.horizontalLayout_2.addWidget(self.pointNum)
spacerItem = QtWidgets.QSpacerItem(40, 20, QtWidgets.QSizePolicy.Expanding, QtWidgets.QSizePolicy.Minimum)
self.horizontalLayout_2.addItem(spacerItem)
self.path_paste = QtWidgets.QPushButton(self.layoutWidget)
icon6 = QtGui.QIcon()
icon6.addPixmap(QtGui.QPixmap(":/icons/paste.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.path_paste.setIcon(icon6)
self.path_paste.setObjectName("path_paste")
self.horizontalLayout_2.addWidget(self.path_paste)
self.path_copy = QtWidgets.QPushButton(self.layoutWidget)
self.path_copy.setIcon(icon4)
self.path_copy.setObjectName("path_copy")
self.horizontalLayout_2.addWidget(self.path_copy)
self.path_clear = QtWidgets.QPushButton(self.layoutWidget)
self.path_clear.setIcon(icon3)
self.path_clear.setAutoDefault(False)
self.path_clear.setObjectName("path_clear")
self.horizontalLayout_2.addWidget(self.path_clear)
self.verticalLayout_2.addLayout(self.horizontalLayout_2)
self.horizontalLayout_5 = QtWidgets.QHBoxLayout()
self.horizontalLayout_5.setObjectName("horizontalLayout_5")
self.verticalLayout_8 = QtWidgets.QVBoxLayout()
self.verticalLayout_8.setObjectName("verticalLayout_8")
self.path_list = QtWidgets.QListWidget(self.layoutWidget)
self.path_list.setObjectName("path_list")
self.verticalLayout_8.addWidget(self.path_list)
self.horizontalLayout_8 = QtWidgets.QHBoxLayout()
self.horizontalLayout_8.setObjectName("horizontalLayout_8")
self.point_up = QtWidgets.QPushButton(self.layoutWidget)
icon7 = QtGui.QIcon()
icon7.addPixmap(QtGui.QPixmap(":/icons/arrow_up.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.point_up.setIcon(icon7)
self.point_up.setObjectName("point_up")
self.horizontalLayout_8.addWidget(self.point_up)
self.point_down = QtWidgets.QPushButton(self.layoutWidget)
icon8 = QtGui.QIcon()
icon8.addPixmap(QtGui.QPixmap(":/icons/arrow_down.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.point_down.setIcon(icon8)
self.point_down.setObjectName("point_down")
self.horizontalLayout_8.addWidget(self.point_down)
spacerItem1 = QtWidgets.QSpacerItem(40, 20, QtWidgets.QSizePolicy.Expanding, QtWidgets.QSizePolicy.Minimum)
self.horizontalLayout_8.addItem(spacerItem1)
self.point_delete = QtWidgets.QPushButton(self.layoutWidget)
icon9 = QtGui.QIcon()
icon9.addPixmap(QtGui.QPixmap(":/icons/delete.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.point_delete.setIcon(icon9)
self.point_delete.setObjectName("point_delete")
self.horizontalLayout_8.addWidget(self.point_delete)
self.close_path = QtWidgets.QPushButton(self.layoutWidget)
icon10 = QtGui.QIcon()
icon10.addPixmap(QtGui.QPixmap(":/icons/free_move_off.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.close_path.setIcon(icon10)
self.close_path.setObjectName("close_path")
self.horizontalLayout_8.addWidget(self.close_path)
self.edit_target_point_button = QtWidgets.QPushButton(self.layoutWidget)
icon11 = QtGui.QIcon()
icon11.addPixmap(QtGui.QPixmap(":/icons/translate.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.edit_target_point_button.setIcon(icon11)
self.edit_target_point_button.setCheckable(True)
self.edit_target_point_button.setChecked(True)
self.edit_target_point_button.setObjectName("edit_target_point_button")
self.horizontalLayout_8.addWidget(self.edit_target_point_button)
self.verticalLayout_8.addLayout(self.horizontalLayout_8)
self.horizontalLayout_5.addLayout(self.verticalLayout_8)
self.verticalLayout_3 = QtWidgets.QVBoxLayout()
self.verticalLayout_3.setObjectName("verticalLayout_3")
self.path_adjust_button = QtWidgets.QPushButton(self.layoutWidget)
icon12 = QtGui.QIcon()
icon12.addPixmap(QtGui.QPixmap(":/icons/formula.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.path_adjust_button.setIcon(icon12)
self.path_adjust_button.setObjectName("path_adjust_button")
self.verticalLayout_3.addWidget(self.path_adjust_button)
self.import_xlsx_button = QtWidgets.QPushButton(self.layoutWidget)
self.import_xlsx_button.setText("")
icon13 = QtGui.QIcon()
icon13.addPixmap(QtGui.QPixmap(":/icons/excel_2013.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.import_xlsx_button.setIcon(icon13)
self.import_xlsx_button.setIconSize(QtCore.QSize(20, 20))
self.import_xlsx_button.setObjectName("import_xlsx_button")
self.verticalLayout_3.addWidget(self.import_xlsx_button)
self.import_csv_button = QtWidgets.QPushButton(self.layoutWidget)
self.import_csv_button.setText("")
icon14 = QtGui.QIcon()
icon14.addPixmap(QtGui.QPixmap(":/icons/csv.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.import_csv_button.setIcon(icon14)
self.import_csv_button.setIconSize(QtCore.QSize(20, 20))
self.import_csv_button.setObjectName("import_csv_button")
self.verticalLayout_3.addWidget(self.import_csv_button)
spacerItem2 = QtWidgets.QSpacerItem(20, 40, QtWidgets.QSizePolicy.Minimum, QtWidgets.QSizePolicy.Expanding)
self.verticalLayout_3.addItem(spacerItem2)
self.horizontalLayout_5.addLayout(self.verticalLayout_3)
self.verticalLayout_2.addLayout(self.horizontalLayout_5)
self.verticalLayout_5.addWidget(self.down_splitter)
self.label_2 = QtWidgets.QLabel(self.target_path)
self.label_2.setWordWrap(True)
self.label_2.setObjectName("label_2")
self.verticalLayout_5.addWidget(self.label_2)
self.options_tab.addTab(self.target_path, icon, "")
self.algorithm = QtWidgets.QWidget()
self.algorithm.setObjectName("algorithm")
self.verticalLayout = QtWidgets.QVBoxLayout(self.algorithm)
self.verticalLayout.setObjectName("verticalLayout")
self.type0 = QtWidgets.QRadioButton(self.algorithm)
self.type0.setChecked(False)
self.type0.setObjectName("type0")
self.verticalLayout.addWidget(self.type0)
self.type1 = QtWidgets.QRadioButton(self.algorithm)
self.type1.setObjectName("type1")
self.verticalLayout.addWidget(self.type1)
self.type2 = QtWidgets.QRadioButton(self.algorithm)
self.type2.setChecked(True)
self.type2.setObjectName("type2")
self.verticalLayout.addWidget(self.type2)
self.advance_button = QtWidgets.QPushButton(self.algorithm)
icon15 = QtGui.QIcon()
icon15.addPixmap(QtGui.QPixmap(":/icons/properties.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.advance_button.setIcon(icon15)
self.advance_button.setObjectName("advance_button")
self.verticalLayout.addWidget(self.advance_button)
spacerItem3 = QtWidgets.QSpacerItem(20, 40, QtWidgets.QSizePolicy.Minimum, QtWidgets.QSizePolicy.Expanding)
self.verticalLayout.addItem(spacerItem3)
self.horizontalLayout = QtWidgets.QHBoxLayout()
self.horizontalLayout.setObjectName("horizontalLayout")
self.label_7 = QtWidgets.QLabel(self.algorithm)
self.label_7.setObjectName("label_7")
self.horizontalLayout.addWidget(self.label_7)
spacerItem4 = QtWidgets.QSpacerItem(40, 20, QtWidgets.QSizePolicy.Expanding, QtWidgets.QSizePolicy.Minimum)
self.horizontalLayout.addItem(spacerItem4)
self.timeShow = QtWidgets.QLabel(self.algorithm)
self.timeShow.setObjectName("timeShow")
self.horizontalLayout.addWidget(self.timeShow)
self.verticalLayout.addLayout(self.horizontalLayout)
self.synthesis_button = QtWidgets.QPushButton(self.algorithm)
self.synthesis_button.setEnabled(False)
self.synthesis_button.setMinimumSize(QtCore.QSize(120, 0))
icon16 = QtGui.QIcon()
icon16.addPixmap(QtGui.QPixmap(":/icons/play.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.synthesis_button.setIcon(icon16)
self.synthesis_button.setAutoDefault(True)
self.synthesis_button.setObjectName("synthesis_button")
self.verticalLayout.addWidget(self.synthesis_button)
icon17 = QtGui.QIcon()
icon17.addPixmap(QtGui.QPixmap(":/icons/synthesis.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.options_tab.addTab(self.algorithm, icon17, "")
self.verticalGroupBox = QtWidgets.QGroupBox(self.main_splitter)
self.verticalGroupBox.setObjectName("verticalGroupBox")
self.horizontalLayout_6 = QtWidgets.QHBoxLayout(self.verticalGroupBox)
self.horizontalLayout_6.setObjectName("horizontalLayout_6")
self.verticalLayout_13 = QtWidgets.QVBoxLayout()
self.verticalLayout_13.setObjectName("verticalLayout_13")
self.result_list = QtWidgets.QListWidget(self.verticalGroupBox)
self.result_list.setVerticalScrollBarPolicy(QtCore.Qt.ScrollBarAsNeeded)
self.result_list.setHorizontalScrollBarPolicy(QtCore.Qt.ScrollBarAlwaysOff)
self.result_list.setObjectName("result_list")
self.verticalLayout_13.addWidget(self.result_list)
self.horizontalLayout_10 = QtWidgets.QHBoxLayout()
self.horizontalLayout_10.setObjectName("horizontalLayout_10")
self.result_load_settings = QtWidgets.QPushButton(self.verticalGroupBox)
self.result_load_settings.setEnabled(False)
icon18 = QtGui.QIcon()
icon18.addPixmap(QtGui.QPixmap(":/icons/data_update.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.result_load_settings.setIcon(icon18)
self.result_load_settings.setObjectName("result_load_settings")
self.horizontalLayout_10.addWidget(self.result_load_settings)
self.result_clipboard = QtWidgets.QPushButton(self.verticalGroupBox)
self.result_clipboard.setEnabled(False)
self.result_clipboard.setIcon(icon4)
self.result_clipboard.setObjectName("result_clipboard")
self.horizontalLayout_10.addWidget(self.result_clipboard)
spacerItem5 = QtWidgets.QSpacerItem(40, 20, QtWidgets.QSizePolicy.Expanding, QtWidgets.QSizePolicy.Minimum)
self.horizontalLayout_10.addItem(spacerItem5)
self.delete_button = QtWidgets.QPushButton(self.verticalGroupBox)
self.delete_button.setEnabled(False)
self.delete_button.setIcon(icon9)
self.delete_button.setObjectName("delete_button")
self.horizontalLayout_10.addWidget(self.delete_button)
self.merge_button = QtWidgets.QPushButton(self.verticalGroupBox)
self.merge_button.setEnabled(False)
icon19 = QtGui.QIcon()
icon19.addPixmap(QtGui.QPixmap(":/icons/merge.png"), QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.merge_button.setIcon(icon19)
self.merge_button.setObjectName("merge_button")
self.horizontalLayout_10.addWidget(self.merge_button)
self.verticalLayout_13.addLayout(self.horizontalLayout_10)
self.horizontalLayout_6.addLayout(self.verticalLayout_13)
self.verticalLayout_4.addWidget(self.main_splitter)
self.retranslateUi(Form)
QtCore.QMetaObject.connectSlotsByName(Form)
def setupUi(self, Form):
Form.setObjectName("Form")
Form.resize(456, 422)
icon = QtGui.QIcon()
icon.addPixmap(QtGui.QPixmap(":/icons/configure.png"),
QtGui.QIcon.Normal, QtGui.QIcon.Off)
Form.setWindowIcon(icon)
self.verticalLayout_4 = QtWidgets.QVBoxLayout(Form)
self.verticalLayout_4.setObjectName("verticalLayout_4")
self.horizontalLayout_4 = QtWidgets.QHBoxLayout()
self.horizontalLayout_4.setObjectName("horizontalLayout_4")
self.load_button = QtWidgets.QPushButton(Form)
icon1 = QtGui.QIcon()
icon1.addPixmap(QtGui.QPixmap(":/icons/collections.png"),
QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.load_button.setIcon(icon1)
self.load_button.setObjectName("load_button")
self.horizontalLayout_4.addWidget(self.load_button)
self.save_button = QtWidgets.QPushButton(Form)
icon2 = QtGui.QIcon()
icon2.addPixmap(QtGui.QPixmap(":/icons/save_file.png"),
QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.save_button.setIcon(icon2)
self.save_button.setObjectName("save_button")
self.horizontalLayout_4.addWidget(self.save_button)
self.profile_name = QtWidgets.QLineEdit(Form)
self.profile_name.setReadOnly(True)
self.profile_name.setObjectName("profile_name")
self.horizontalLayout_4.addWidget(self.profile_name)
self.clear_button = QtWidgets.QPushButton(Form)
icon3 = QtGui.QIcon()
icon3.addPixmap(QtGui.QPixmap(":/icons/clean.png"), QtGui.QIcon.Normal,
QtGui.QIcon.Off)
self.clear_button.setIcon(icon3)
self.clear_button.setObjectName("clear_button")
self.horizontalLayout_4.addWidget(self.clear_button)
self.line_5 = QtWidgets.QFrame(Form)
self.line_5.setFrameShape(QtWidgets.QFrame.VLine)
self.line_5.setFrameShadow(QtWidgets.QFrame.Sunken)
self.line_5.setObjectName("line_5")
self.horizontalLayout_4.addWidget(self.line_5)
self.add_collection_button = QtWidgets.QPushButton(Form)
icon4 = QtGui.QIcon()
icon4.addPixmap(QtGui.QPixmap(":/icons/structure.png"),
QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.add_collection_button.setIcon(icon4)
self.add_collection_button.setObjectName("add_collection_button")
self.horizontalLayout_4.addWidget(self.add_collection_button)
self.clipboard_button = QtWidgets.QPushButton(Form)
icon5 = QtGui.QIcon()
icon5.addPixmap(QtGui.QPixmap(":/icons/copy.png"), QtGui.QIcon.Normal,
QtGui.QIcon.Off)
self.clipboard_button.setIcon(icon5)
self.clipboard_button.setObjectName("clipboard_button")
self.horizontalLayout_4.addWidget(self.clipboard_button)
self.verticalLayout_4.addLayout(self.horizontalLayout_4)
self.line = QtWidgets.QFrame(Form)
self.line.setFrameShape(QtWidgets.QFrame.HLine)
self.line.setFrameShadow(QtWidgets.QFrame.Sunken)
self.line.setObjectName("line")
self.verticalLayout_4.addWidget(self.line)
self.main_splitter = QtWidgets.QSplitter(Form)
self.main_splitter.setOrientation(QtCore.Qt.Vertical)
self.main_splitter.setObjectName("main_splitter")
self.verticalLayoutWidget = QtWidgets.QWidget(self.main_splitter)
self.verticalLayoutWidget.setObjectName("verticalLayoutWidget")
self.main_layout = QtWidgets.QVBoxLayout(self.verticalLayoutWidget)
self.main_layout.setContentsMargins(0, 0, 0, 0)
self.main_layout.setObjectName("main_layout")
self.horizontalLayout_2 = QtWidgets.QHBoxLayout()
self.horizontalLayout_2.setObjectName("horizontalLayout_2")
self.joint_name = QtWidgets.QComboBox(self.verticalLayoutWidget)
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Fixed,
QtWidgets.QSizePolicy.Fixed)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(
self.joint_name.sizePolicy().hasHeightForWidth())
self.joint_name.setSizePolicy(sizePolicy)
self.joint_name.setObjectName("joint_name")
self.horizontalLayout_2.addWidget(self.joint_name)
self.add_customization = QtWidgets.QPushButton(
self.verticalLayoutWidget)
icon6 = QtGui.QIcon()
icon6.addPixmap(QtGui.QPixmap(":/icons/properties.png"),
QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.add_customization.setIcon(icon6)
self.add_customization.setObjectName("add_customization")
self.horizontalLayout_2.addWidget(self.add_customization)
self.main_layout.addLayout(self.horizontalLayout_2)
self.layoutWidget = QtWidgets.QWidget(self.main_splitter)
self.layoutWidget.setObjectName("layoutWidget")
self.verticalLayout_5 = QtWidgets.QVBoxLayout(self.layoutWidget)
self.verticalLayout_5.setContentsMargins(0, 0, 0, 0)
self.verticalLayout_5.setObjectName("verticalLayout_5")
self.line_3 = QtWidgets.QFrame(self.layoutWidget)
self.line_3.setLineWidth(3)
self.line_3.setFrameShape(QtWidgets.QFrame.HLine)
self.line_3.setFrameShadow(QtWidgets.QFrame.Sunken)
self.line_3.setObjectName("line_3")
self.verticalLayout_5.addWidget(self.line_3)
self.horizontalLayout = QtWidgets.QHBoxLayout()
self.horizontalLayout.setObjectName("horizontalLayout")
self.verticalLayout_3 = QtWidgets.QVBoxLayout()
self.verticalLayout_3.setObjectName("verticalLayout_3")
self.horizontalLayout_7 = QtWidgets.QHBoxLayout()
self.horizontalLayout_7.setSpacing(0)
self.horizontalLayout_7.setObjectName("horizontalLayout_7")
self.target_label = QtWidgets.QLabel(self.layoutWidget)
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Fixed,
QtWidgets.QSizePolicy.Preferred)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(
self.target_label.sizePolicy().hasHeightForWidth())
self.target_label.setSizePolicy(sizePolicy)
self.target_label.setObjectName("target_label")
self.horizontalLayout_7.addWidget(self.target_label)
self.target_button = QtWidgets.QPushButton(self.layoutWidget)
self.target_button.setObjectName("target_button")
self.horizontalLayout_7.addWidget(self.target_button)
self.verticalLayout_3.addLayout(self.horizontalLayout_7)
self.target_list = QtWidgets.QListWidget(self.layoutWidget)
self.target_list.setObjectName("target_list")
self.verticalLayout_3.addWidget(self.target_list)
self.horizontalLayout.addLayout(self.verticalLayout_3)
self.verticalLayout_2 = QtWidgets.QVBoxLayout()
self.verticalLayout_2.setObjectName("verticalLayout_2")
self.horizontalLayout_5 = QtWidgets.QHBoxLayout()
self.horizontalLayout_5.setObjectName("horizontalLayout_5")
self.driver_base = QtWidgets.QComboBox(self.layoutWidget)
self.driver_base.setObjectName("driver_base")
self.horizontalLayout_5.addWidget(self.driver_base)
self.driver_arrow_label = QtWidgets.QLabel(self.layoutWidget)
self.driver_arrow_label.setObjectName("driver_arrow_label")
self.horizontalLayout_5.addWidget(self.driver_arrow_label)
self.driver_rotator = QtWidgets.QComboBox(self.layoutWidget)
self.driver_rotator.setObjectName("driver_rotator")
self.horizontalLayout_5.addWidget(self.driver_rotator)
self.verticalLayout_2.addLayout(self.horizontalLayout_5)
self.driver_add = QtWidgets.QPushButton(self.layoutWidget)
icon7 = QtGui.QIcon()
icon7.addPixmap(QtGui.QPixmap(":/icons/motor.png"), QtGui.QIcon.Normal,
QtGui.QIcon.Off)
self.driver_add.setIcon(icon7)
self.driver_add.setObjectName("driver_add")
self.verticalLayout_2.addWidget(self.driver_add)
self.driver_label = QtWidgets.QLabel(self.layoutWidget)
self.driver_label.setObjectName("driver_label")
self.verticalLayout_2.addWidget(self.driver_label)
self.driver_list = QtWidgets.QListWidget(self.layoutWidget)
self.driver_list.setObjectName("driver_list")
self.verticalLayout_2.addWidget(self.driver_list)
self.driver_del = QtWidgets.QPushButton(self.layoutWidget)
icon8 = QtGui.QIcon()
icon8.addPixmap(QtGui.QPixmap(":/icons/delete.png"),
QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.driver_del.setIcon(icon8)
self.driver_del.setObjectName("driver_del")
self.verticalLayout_2.addWidget(self.driver_del)
self.horizontalLayout.addLayout(self.verticalLayout_2)
self.verticalLayout_15 = QtWidgets.QVBoxLayout()
self.verticalLayout_15.setObjectName("verticalLayout_15")
self.grounded_label = QtWidgets.QLabel(self.layoutWidget)
self.grounded_label.setObjectName("grounded_label")
self.verticalLayout_15.addWidget(self.grounded_label)
self.grounded_list = QtWidgets.QListWidget(self.layoutWidget)
self.grounded_list.setObjectName("grounded_list")
self.verticalLayout_15.addWidget(self.grounded_list)
self.horizontalLayout.addLayout(self.verticalLayout_15)
self.verticalLayout_5.addLayout(self.horizontalLayout)
self.verticalLayout_4.addWidget(self.main_splitter)
self.verticalLayout = QtWidgets.QVBoxLayout()
self.verticalLayout.setObjectName("verticalLayout")
self.expression_label = QtWidgets.QLabel(Form)
self.expression_label.setObjectName("expression_label")
self.verticalLayout.addWidget(self.expression_label)
self.expr_show = QtWidgets.QLineEdit(Form)
self.expr_show.setReadOnly(True)
self.expr_show.setObjectName("expr_show")
self.verticalLayout.addWidget(self.expr_show)
self.verticalLayout_4.addLayout(self.verticalLayout)
self.main_splitter.raise_()
self.line.raise_()
self.retranslateUi(Form)
QtCore.QMetaObject.connectSlotsByName(Form)
def setupUi(self, Form):
Form.setObjectName("Form")
Form.resize(430, 654)
icon = QtGui.QIcon()
icon.addPixmap(QtGui.QPixmap(":/icons/number.png"), QtGui.QIcon.Normal,
QtGui.QIcon.Off)
Form.setWindowIcon(icon)
self.verticalLayout = QtWidgets.QVBoxLayout(Form)
self.verticalLayout.setObjectName("verticalLayout")
self.horizontalLayout_4 = QtWidgets.QHBoxLayout()
self.horizontalLayout_4.setObjectName("horizontalLayout_4")
self.edges_label = QtWidgets.QLabel(Form)
self.edges_label.setObjectName("edges_label")
self.horizontalLayout_4.addWidget(self.edges_label)
self.edges_text = QtWidgets.QLineEdit(Form)
self.edges_text.setReadOnly(True)
self.edges_text.setObjectName("edges_text")
self.horizontalLayout_4.addWidget(self.edges_text)
self.expr_copy = QtWidgets.QPushButton(Form)
icon1 = QtGui.QIcon()
icon1.addPixmap(QtGui.QPixmap(":/icons/copy.png"), QtGui.QIcon.Normal,
QtGui.QIcon.Off)
self.expr_copy.setIcon(icon1)
self.expr_copy.setObjectName("expr_copy")
self.horizontalLayout_4.addWidget(self.expr_copy)
self.expr_add_collection = QtWidgets.QPushButton(Form)
self.expr_add_collection.setText("")
icon2 = QtGui.QIcon()
icon2.addPixmap(QtGui.QPixmap(":/icons/collections.png"),
QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.expr_add_collection.setIcon(icon2)
self.expr_add_collection.setObjectName("expr_add_collection")
self.horizontalLayout_4.addWidget(self.expr_add_collection)
self.from_mechanism_button = QtWidgets.QPushButton(Form)
icon3 = QtGui.QIcon()
icon3.addPixmap(QtGui.QPixmap(":/icons/merge_from.png"),
QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.from_mechanism_button.setIcon(icon3)
self.from_mechanism_button.setAutoDefault(True)
self.from_mechanism_button.setDefault(True)
self.from_mechanism_button.setObjectName("from_mechanism_button")
self.horizontalLayout_4.addWidget(self.from_mechanism_button)
self.verticalLayout.addLayout(self.horizontalLayout_4)
self.line = QtWidgets.QFrame(Form)
self.line.setFrameShape(QtWidgets.QFrame.HLine)
self.line.setFrameShadow(QtWidgets.QFrame.Sunken)
self.line.setObjectName("line")
self.verticalLayout.addWidget(self.line)
self.main_splitter = QtWidgets.QSplitter(Form)
self.main_splitter.setOrientation(QtCore.Qt.Vertical)
self.main_splitter.setObjectName("main_splitter")
self.verticalLayoutWidget = QtWidgets.QWidget(self.main_splitter)
self.verticalLayoutWidget.setObjectName("verticalLayoutWidget")
self.verticalLayout_2 = QtWidgets.QVBoxLayout(
self.verticalLayoutWidget)
self.verticalLayout_2.setContentsMargins(0, 0, 0, 0)
self.verticalLayout_2.setObjectName("verticalLayout_2")
self.gridLayout = QtWidgets.QGridLayout()
self.gridLayout.setObjectName("gridLayout")
self.nj_label = QtWidgets.QLabel(self.verticalLayoutWidget)
self.nj_label.setObjectName("nj_label")
self.gridLayout.addWidget(self.nj_label, 0, 1, 1, 1)
self.nl_label = QtWidgets.QLabel(self.verticalLayoutWidget)
self.nl_label.setObjectName("nl_label")
self.gridLayout.addWidget(self.nl_label, 0, 0, 1, 1)
self.nl_input = QtWidgets.QSpinBox(self.verticalLayoutWidget)
self.nl_input.setMinimum(4)
self.nl_input.setObjectName("nl_input")
self.gridLayout.addWidget(self.nl_input, 2, 0, 1, 1)
self.nj_input = QtWidgets.QSpinBox(self.verticalLayoutWidget)
self.nj_input.setMinimum(4)
self.nj_input.setObjectName("nj_input")
self.gridLayout.addWidget(self.nj_input, 2, 1, 1, 1)
self.dof_label = QtWidgets.QLabel(self.verticalLayoutWidget)
self.dof_label.setObjectName("dof_label")
self.gridLayout.addWidget(self.dof_label, 0, 2, 1, 1)
self.dof = QtWidgets.QSpinBox(self.verticalLayoutWidget)
self.dof.setEnabled(False)
self.dof.setMinimum(-99)
self.dof.setProperty("value", 1)
self.dof.setObjectName("dof")
self.gridLayout.addWidget(self.dof, 2, 2, 1, 1)
self.keep_dof = QtWidgets.QCheckBox(self.verticalLayoutWidget)
self.keep_dof.setChecked(True)
self.keep_dof.setObjectName("keep_dof")
self.gridLayout.addWidget(self.keep_dof, 0, 3, 1, 1)
self.graph_degenerate = QtWidgets.QComboBox(self.verticalLayoutWidget)
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Minimum,
QtWidgets.QSizePolicy.Fixed)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(
self.graph_degenerate.sizePolicy().hasHeightForWidth())
self.graph_degenerate.setSizePolicy(sizePolicy)
self.graph_degenerate.setObjectName("graph_degenerate")
self.graph_degenerate.addItem("")
self.graph_degenerate.addItem("")
self.graph_degenerate.addItem("")
self.gridLayout.addWidget(self.graph_degenerate, 2, 3, 1, 1)
self.verticalLayout_2.addLayout(self.gridLayout)
self.horizontalLayout_2 = QtWidgets.QHBoxLayout()
self.horizontalLayout_2.setObjectName("horizontalLayout_2")
self.number_synthesis_button = QtWidgets.QPushButton(
self.verticalLayoutWidget)
self.number_synthesis_button.setAutoDefault(True)
self.number_synthesis_button.setObjectName("number_synthesis_button")
self.horizontalLayout_2.addWidget(self.number_synthesis_button)
self.assortment_clear_button = QtWidgets.QPushButton(
self.verticalLayoutWidget)
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Fixed,
QtWidgets.QSizePolicy.Fixed)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(
self.assortment_clear_button.sizePolicy().hasHeightForWidth())
self.assortment_clear_button.setSizePolicy(sizePolicy)
icon4 = QtGui.QIcon()
icon4.addPixmap(QtGui.QPixmap(":/icons/clean.png"), QtGui.QIcon.Normal,
QtGui.QIcon.Off)
self.assortment_clear_button.setIcon(icon4)
self.assortment_clear_button.setObjectName("assortment_clear_button")
self.horizontalLayout_2.addWidget(self.assortment_clear_button)
self.verticalLayout_2.addLayout(self.horizontalLayout_2)
self.link_assortment_list = QtWidgets.QTreeWidget(
self.verticalLayoutWidget)
self.link_assortment_list.setEditTriggers(
QtWidgets.QAbstractItemView.NoEditTriggers)
self.link_assortment_list.setIndentation(10)
self.link_assortment_list.setObjectName("link_assortment_list")
self.verticalLayout_2.addWidget(self.link_assortment_list)
self.verticalLayoutWidget_2 = QtWidgets.QWidget(self.main_splitter)
self.verticalLayoutWidget_2.setObjectName("verticalLayoutWidget_2")
self.verticalLayout_3 = QtWidgets.QVBoxLayout(
self.verticalLayoutWidget_2)
self.verticalLayout_3.setContentsMargins(0, 0, 0, 0)
self.verticalLayout_3.setObjectName("verticalLayout_3")
self.horizontalLayout_7 = QtWidgets.QHBoxLayout()
self.horizontalLayout_7.setObjectName("horizontalLayout_7")
self.verticalLayout_3.addLayout(self.horizontalLayout_7)
self.horizontalLayout = QtWidgets.QHBoxLayout()
self.horizontalLayout.setObjectName("horizontalLayout")
self.graph_engine_text = QtWidgets.QLabel(self.verticalLayoutWidget_2)
self.graph_engine_text.setObjectName("graph_engine_text")
self.horizontalLayout.addWidget(self.graph_engine_text)
self.graph_engine = QtWidgets.QComboBox(self.verticalLayoutWidget_2)
self.graph_engine.setObjectName("graph_engine")
self.horizontalLayout.addWidget(self.graph_engine)
self.reload_atlas = QtWidgets.QPushButton(self.verticalLayoutWidget_2)
self.reload_atlas.setText("")
icon5 = QtGui.QIcon()
icon5.addPixmap(QtGui.QPixmap(":/icons/data_update.png"),
QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.reload_atlas.setIcon(icon5)
self.reload_atlas.setObjectName("reload_atlas")
self.horizontalLayout.addWidget(self.reload_atlas)
spacerItem = QtWidgets.QSpacerItem(40, 20,
QtWidgets.QSizePolicy.Expanding,
QtWidgets.QSizePolicy.Minimum)
self.horizontalLayout.addItem(spacerItem)
self.graph_link_as_node = QtWidgets.QCheckBox(
self.verticalLayoutWidget_2)
self.graph_link_as_node.setObjectName("graph_link_as_node")
self.horizontalLayout.addWidget(self.graph_link_as_node)
self.graph_show_label = QtWidgets.QCheckBox(
self.verticalLayoutWidget_2)
self.graph_show_label.setChecked(True)
self.graph_show_label.setObjectName("graph_show_label")
self.horizontalLayout.addWidget(self.graph_show_label)
self.verticalLayout_3.addLayout(self.horizontalLayout)
self.horizontalLayout_5 = QtWidgets.QHBoxLayout()
self.horizontalLayout_5.setObjectName("horizontalLayout_5")
self.structure_synthesis_all_button = QtWidgets.QPushButton(
self.verticalLayoutWidget_2)
self.structure_synthesis_all_button.setMaximumSize(
QtCore.QSize(100, 16777215))
self.structure_synthesis_all_button.setAutoDefault(True)
self.structure_synthesis_all_button.setObjectName(
"structure_synthesis_all_button")
self.horizontalLayout_5.addWidget(self.structure_synthesis_all_button)
self.structure_synthesis_button = QtWidgets.QPushButton(
self.verticalLayoutWidget_2)
self.structure_synthesis_button.setObjectName(
"structure_synthesis_button")
self.horizontalLayout_5.addWidget(self.structure_synthesis_button)
self.structure_list_clear_button = QtWidgets.QPushButton(
self.verticalLayoutWidget_2)
sizePolicy = QtWidgets.QSizePolicy(QtWidgets.QSizePolicy.Fixed,
QtWidgets.QSizePolicy.Fixed)
sizePolicy.setHorizontalStretch(0)
sizePolicy.setVerticalStretch(0)
sizePolicy.setHeightForWidth(
self.structure_list_clear_button.sizePolicy().hasHeightForWidth())
self.structure_list_clear_button.setSizePolicy(sizePolicy)
self.structure_list_clear_button.setIcon(icon4)
self.structure_list_clear_button.setObjectName(
"structure_list_clear_button")
self.horizontalLayout_5.addWidget(self.structure_list_clear_button)
self.verticalLayout_3.addLayout(self.horizontalLayout_5)
self.structure_list = QtWidgets.QListWidget(
self.verticalLayoutWidget_2)
self.structure_list.setContextMenuPolicy(QtCore.Qt.CustomContextMenu)
self.structure_list.setIconSize(QtCore.QSize(200, 200))
self.structure_list.setResizeMode(QtWidgets.QListView.Adjust)
self.structure_list.setViewMode(QtWidgets.QListView.IconMode)
self.structure_list.setUniformItemSizes(True)
self.structure_list.setObjectName("structure_list")
self.verticalLayout_3.addWidget(self.structure_list)
self.horizontalLayout_6 = QtWidgets.QHBoxLayout()
self.horizontalLayout_6.setObjectName("horizontalLayout_6")
self.time_title_label = QtWidgets.QLabel(self.verticalLayoutWidget_2)
self.time_title_label.setObjectName("time_title_label")
self.horizontalLayout_6.addWidget(self.time_title_label)
self.time_label = QtWidgets.QLabel(self.verticalLayoutWidget_2)
self.time_label.setObjectName("time_label")
self.horizontalLayout_6.addWidget(self.time_label)
self.paint_time_title_label = QtWidgets.QLabel(
self.verticalLayoutWidget_2)
self.paint_time_title_label.setObjectName("paint_time_title_label")
self.horizontalLayout_6.addWidget(self.paint_time_title_label)
self.paint_time_label = QtWidgets.QLabel(self.verticalLayoutWidget_2)
self.paint_time_label.setObjectName("paint_time_label")
self.horizontalLayout_6.addWidget(self.paint_time_label)
spacerItem1 = QtWidgets.QSpacerItem(40, 20,
QtWidgets.QSizePolicy.Expanding,
QtWidgets.QSizePolicy.Minimum)
self.horizontalLayout_6.addItem(spacerItem1)
self.save_atlas = QtWidgets.QPushButton(self.verticalLayoutWidget_2)
icon6 = QtGui.QIcon()
icon6.addPixmap(QtGui.QPixmap(":/icons/picture.png"),
QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.save_atlas.setIcon(icon6)
self.save_atlas.setObjectName("save_atlas")
self.horizontalLayout_6.addWidget(self.save_atlas)
self.save_edges = QtWidgets.QPushButton(self.verticalLayoutWidget_2)
icon7 = QtGui.QIcon()
icon7.addPixmap(QtGui.QPixmap(":/icons/save_file.png"),
QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.save_edges.setIcon(icon7)
self.save_edges.setObjectName("save_edges")
self.horizontalLayout_6.addWidget(self.save_edges)
self.edges2atlas_button = QtWidgets.QPushButton(
self.verticalLayoutWidget_2)
icon8 = QtGui.QIcon()
icon8.addPixmap(QtGui.QPixmap(":/icons/edges_to_atlas.png"),
QtGui.QIcon.Normal, QtGui.QIcon.Off)
self.edges2atlas_button.setIcon(icon8)
self.edges2atlas_button.setIconSize(QtCore.QSize(40, 16))
self.edges2atlas_button.setObjectName("edges2atlas_button")
self.horizontalLayout_6.addWidget(self.edges2atlas_button)
self.verticalLayout_3.addLayout(self.horizontalLayout_6)
self.verticalLayout.addWidget(self.main_splitter)
self.retranslateUi(Form)
self.graph_degenerate.setCurrentIndex(1)
self.graph_engine.setCurrentIndex(-1)
QtCore.QMetaObject.connectSlotsByName(Form)