Example #1
0
    def test_uma_condicao_duas_regras_redundantes_outro(self):
        tabela = [
            ("1", "A"),
            ("*", "A"),
        ]

        self.assertEqual(set([]), indefinidos(tabela))
Example #2
0
    def test_uma_condicao_duas_regras(self):
        tabela = [
            ("1", "A"),
            ("0", "B"),
        ]

        self.assertEqual(set([]), indefinidos(tabela))
Example #3
0
    def test_duas_condicoes_duas_regras_indefinidas_com_solzinho(self):
        tabela = [("0*", "A")]

        self.assertEqual(set(["11", "10"]), indefinidos(tabela))
Example #4
0
    def test_duas_condicoes_duas_regras_indefinidas(self):
        tabela = [("01", "A"), ("10", "A")]

        self.assertEqual(set(["11", "00"]), indefinidos(tabela))
Example #5
0
    def test_duas_condicoes_nenhum_indefinido(self):
        tabela = [("**", "A")]

        self.assertEqual(set([]), indefinidos(tabela))
Example #6
0
    def test_uma_condicao_duas_regras_redundantes_outro(self):
        tabela = [("1", "A"), ("*", "A")]

        self.assertEqual(set([]), indefinidos(tabela))
Example #7
0
    def test_uma_condicao_duas_regras(self):
        tabela = [("1", "A"), ("0", "B")]

        self.assertEqual(set([]), indefinidos(tabela))
Example #8
0
    def test_uma_condicao_outro_indefinido(self):
        tabela = [("1", "A")]

        self.assertEqual(set(["0"]), indefinidos(tabela))
Example #9
0
    def test_uma_condicao_outro_indefinido(self):
        tabela = [
            ("1", "A"),
        ]

        self.assertEqual(set(["0"]), indefinidos(tabela))
Example #10
0
    def test_duas_condicoes_duas_regras_indefinidas_com_solzinho(self):
        tabela = [("0*", "A")]

        self.assertEqual(set(["11", "10"]), indefinidos(tabela))
Example #11
0
    def test_uma_condicao_nenhum_indefinido(self):
        tabela = [("*", "A")]

        self.assertEqual(set([]), indefinidos(tabela))
Example #12
0
    def test_duas_condicoes_duas_regras_indefinidas(self):
        tabela = [("01", "A"), ("10", "A")]

        self.assertEqual(set(["11", "00"]), indefinidos(tabela))
Example #13
0
    def test_duas_condicoes_nenhum_indefinido(self):
        tabela = [("**", "A")]

        self.assertEqual(set([]), indefinidos(tabela))
Example #14
0
    def test_duas_condicoes_duas_regras_indefinidas_e_solzinho(self):
        tabela = [("1*", "A")]

        self.assertEqual(set(["00", "01"]), indefinidos(tabela))
Example #15
0
    def test_duas_condicoes_duas_regras_indefinidas_e_solzinho(self):
        tabela = [("1*", "A")]

        self.assertEqual(set(["00", "01"]), indefinidos(tabela))
Example #16
0
    def test_uma_condicao_nenhum_indefinido(self):
        tabela = [("*", "A")]

        self.assertEqual(set([]), indefinidos(tabela))
Example #17
0
    def test_uma_condicao_um_indefinido(self):
        tabela = [("0", "A")]

        self.assertEqual(set(["1"]), indefinidos(tabela))