def test_fig_38(self): res = make_dangie([self.functions[x] for x in [32, 33]], ["a", "c", "d", "b"], eq_rules=[self.equivalence_rules[x] for x in [4]]) self.assertFalse(res)
def test_fig_21(self): res = make_dangie([self.functions[x] for x in [21, 22]], ["a", "c", "b", "d"], eq_rules=[]) self.assertTrue(res)
def test_fig_20(self): res = make_dangie([self.functions[x] for x in [20]], ["c", "q"], eq_rules=[self.equivalence_rules[x] for x in [1]]) self.assertFalse(res)
def test_mif_18(self): res = make_dangie([self.functions[x] for x in [29]] + [self.mifunctions[x] for x in [3]], ["d"]) self.assertFalse(res)
def test_mif_24(self): res = make_dangie([self.functions[x] for x in [25]] + [self.mifunctions[x] for x in [2]], ["b", "c"]) self.assertTrue(res)
def test_mif_23(self): res = make_dangie([self.functions[x] for x in [24]] + [self.mifunctions[x] for x in [2]], ["c"]) self.assertFalse(res)
def test_mif_22(self): res = make_dangie([self.functions[x] for x in [21, 23]] + [self.mifunctions[x] for x in [1]], ["q"]) self.assertTrue(res)
def test_mif_21(self): res = make_dangie([self.functions[x] for x in [21, 28]] + [self.mifunctions[x] for x in [0]], ["q"]) self.assertFalse(res)
def test_fig_14(self): res = make_dangie([self.functions[x] for x in [14, 15]], ["q"]) self.assertTrue(res)
def test_mif_5(self): res = make_dangie([self.functions[x] for x in [1]], ["b"]) self.assertTrue(res)
def test_mif_14(self): res = make_dangie([self.functions[x] for x in [12, 13]], ["xm"]) # Empty without subfunctions self.assertTrue(res)
def test_fig_3(self): res = make_dangie([self.functions[x] for x in [0]], ["b"]) self.assertTrue(res)
def test_fig_2(self): res = make_dangie([self.functions[x] for x in [0, 1]], ["b"]) self.assertFalse(res)
def test_fig_0(self): self.assertFalse(make_dangie([self.functions[x] for x in [8]], ["b"]))
def test_mif_26(self): res = make_dangie([self.functions[x] for x in [24]] + [self.mifunctions[x] for x in [3]], ["c", "d"]) self.assertTrue(res)
def test_mif_16(self): res = make_dangie([self.functions[x] for x in [16, 17, 18, 19]], ["a"]) self.assertFalse(res)
def test_mif_27(self): res = make_dangie([self.functions[x] for x in [9, 27]] + [self.mifunctions[x] for x in [4, 5]], ["q"]) self.assertFalse(res)
def test_mif_17(self): res = make_dangie([self.functions[x] for x in [0, 19]], ["b", "a"]) self.assertFalse(res)
def test_mif_6(self): res = make_dangie([self.functions[x] for x in [2, 7]], ["b"]) self.assertFalse(res)
def test_fig_9(self): res = make_dangie([self.functions[x] for x in [2, 3, 4, 5]], ["b"]) self.assertFalse(res)