def done_click(self):
        for i in range(len(self.radios)):
            if self.radios[i].getChecked():
                op = Operation(Operation.get_new_id(), self.theorems[i].formula.get_no_of_args_for_unique_form(),
                               self.textbox_scheme.getText(), self.textbox_name.getText(), Operation.EXPRESSION)
                Operation.global_operations.append(op)
                Theorem.theorems.append(Theorem(self.theorems[i].formula.get_def_theorem(op),18,"iojo",[]))

        IO.save()
        self.hide()
Exemple #2
0
 def done_click(self):
     self.theorem.folder = self.get_folder_name()
     Theorem.theorems.append(self.theorem)
     IO.save()
     self.hide()
Exemple #3
0
 def done_click(self):
     self.theorem.folder=self.get_folder_name()
     Theorem.theorems.append(self.theorem)
     IO.save()
     self.hide()