def test_remove_every_generalization(self):
g1 = Generalization("and", [
self.f1, Formula("Z"), self.f2, Formula("Z")])
g2 = Generalization("and", [
self.f1, Formula("Z"), g1, self.f1, Formula("Z"), self.f2, g1])
exp = Generalization("and", [
Formula("Z"), g1, Formula("Z"), self.f2, g1])
g2.remove_every(self.f1)
self.assertEqual(exp, g2)
def test_remove_every(self):
g1 = Generalization("and", [
self.f1, Formula("Z"), self.f2, Formula("Z")])
exp1 = Generalization("and", [self.f1, self.f2])
g2 = Generalization("and", [
self.f1, Formula("Z"), self.f1, Formula("Z"), self.f2])
exp2 = Generalization("and", [Formula("Z"), Formula("Z"), self.f2])
g1.remove_every(Formula("Z"))
self.assertEqual(exp1, g1)
def test_remove_every(self):
g1 = Generalization(
"and", [self.f1, Formula("Z"), self.f2,
Formula("Z")])
exp1 = Generalization("and", [self.f1, self.f2])
g2 = Generalization(
"and",
[self.f1, Formula("Z"), self.f1,
Formula("Z"), self.f2])
exp2 = Generalization("and", [Formula("Z"), Formula("Z"), self.f2])
g1.remove_every(Formula("Z"))
self.assertEqual(exp1, g1)
def test_remove_every_generalization(self):
g1 = Generalization(
"and", [self.f1, Formula("Z"), self.f2,
Formula("Z")])
g2 = Generalization(
"and",
[self.f1,
Formula("Z"), g1, self.f1,
Formula("Z"), self.f2, g1])
exp = Generalization(
"and",
[Formula("Z"), g1, Formula("Z"), self.f2, g1])
g2.remove_every(self.f1)
self.assertEqual(exp, g2)
