Exemplo n.º 1
0
    def test_uma_condicao_duas_regras_redundantes_outro(self):
        tabela = [
            ("1", "A"),
            ("*", "A"),
        ]

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

        self.assertEqual(set([]), indefinidos(tabela))
Exemplo n.º 17
0
    def test_uma_condicao_um_indefinido(self):
        tabela = [("0", "A")]

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