Esempi in Python per remover_estados_inalcancaveis_afd

Esempio n. 1

File: TesteUtil.py Progetto: katcipis/playground

 def testDadoUmAFDPodeRemoveTodosOsEstadosInalcancaveis(self):
   afd_novo = util.remover_estados_inalcancaveis_afd(self.afd_um_estado_inalcancavel)
   self.assertEqual(3, len(self.afd_um_estado_inalcancavel.obterEstados()))
   self.assertEqual(2, len(afd_novo.obterEstados()))
   self.assertTrue(util.sao_equivalentes_af(self.afd_um_estado_inalcancavel, afd_novo))

Esempio n. 2

File: TesteUtil.py Progetto: katcipis/playground

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

Esempio n. 3

File: AutomatoFinitoGUI.py Progetto: katcipis/playground

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