Python remover_estados_mortos_afd 예제들

예제 #1

파일: ExpressaoRegularGUI.py 프로젝트: katcipis/playground

    def clicouTransformarEmAFD(self):
        try:
            exp = ExpressaoRegular(str(self.__ui.exp_reg.text()))
            afd = exp.obterAFD()
            afd = util.remover_estados_mortos_afd(afd)
            self.__janela_principal.obterAFGUI().setarAF(afd)

        except Exception as excecao:
            self._error.showMessage(str(excecao))

예제 #2

파일: TesteUtil.py 프로젝트: katcipis/playground

 def testSeTodosOsEstadosSaoVivosNaoRemoveEstadoAlgum(self):
   afd_novo = util.remover_estados_mortos_afd(construirAFDSemEstadosMortosOuInalcancaveis())
   self.assertEqual(len(afd_novo.obterEstados()), len(construirAFDSemEstadosMortosOuInalcancaveis().obterEstados()))
   self.assertTrue(util.sao_equivalentes_af(afd_novo,construirAFDSemEstadosMortosOuInalcancaveis()))

예제 #3

파일: GramaticaRegularGUI.py 프로젝트: katcipis/playground

    def clicouTransformarEmAFD(self):
        try:
            self._janela_principal.obterAFGUI().setarAF(util.remover_estados_mortos_afd(util.obter_afd(self.obterGR())))

        except Exception as excecao:
            self.mostrarErro(str(excecao))

예제 #4

파일: TesteUtil.py 프로젝트: katcipis/playground

 def testDadoUmAFDPodeRemoverTodosOsEstadosMortos(self):
   afd_novo = util.remover_estados_mortos_afd(self.afd_um_estado_morto)
   self.assertEqual(3, len(self.afd_um_estado_morto.obterEstados()))
   self.assertEqual(2, len(afd_novo.obterEstados()))
   self.assertTrue(util.sao_equivalentes_af(afd_novo,self.afd_um_estado_morto))

예제 #5

파일: AutomatoFinitoGUI.py 프로젝트: katcipis/playground

 def clicouRemoverMortos(self):
   try:
     af = self.obterAF()
     self.setarAF(util.remover_estados_mortos_afd(af))
   except Exception as excecao:
     self.mostrarErro(str(excecao))