Python remover_estados_inalcancaveis_afd Exemples

Exemple #1

Fichier : TesteUtil.py Projet : 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))

Exemple #2

Fichier : TesteUtil.py Projet : 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()))

Exemple #3

Fichier : AutomatoFinitoGUI.py Projet : 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))