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))
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()))
def clicouRemoverInalc(self): try: af = self.obterAF() self.setarAF(util.remover_estados_inalcancaveis_afd(af)) except Exception as excecao: self.mostrarErro(str(excecao))