Esempio n. 1
0
 def testDadosDoisAFSabeSeAF1NaoEstaContidoEmAF2(self):
   afd1 = construirAFDComABOndeAsEhPar()
   afd2 = construirAFDComABOndeBsEhImpar()
   self.assertFalse(util.esta_contido_af(afd1, afd2))
Esempio n. 2
0
 def testDadosDoisAFSabeSeAF1EstaContidoEmAF2(self):
   afd1 = construirAFDComABOndeAsEhPar()
   afd2 = construirEquivalenteDoAFDComABOndeAsEhPar()
   self.assertTrue(util.esta_contido_af(afd1, afd2))