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)
