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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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