def test_nested_instantiated(self): uni = Universal("x", Existential("y", Atom("Nested", ("x", "y")))) inst = uni.instantiate("x", "alpha") self.assertEqual(Existential("y", Atom("Nested", ("alpha", "y"))), inst)
def test_instantiate_atom(self): universal = Universal("x", self.test_atom) test = universal.instantiate(universal.var, "nothing") self.assertEqual(self.result_atom, test)
def test_instantiate_binary(self): for c in self.binary: universal = Universal("x", c(self.test_atom, self.test_atom)) test = universal.instantiate(universal.var, "nothing") self.assertEqual(c(self.result_atom, self.result_atom), test)