Exemplo n.º 1
0
 def open_fa(self):
     path, _ = QFileDialog.getOpenFileName(self)
     if path:
         nfa = NFA.open(path)
         self.fa = nfa
         self.add_fa_to_list()