Пример #1
0
def unify_object(u, v, s):
    """ Unify two Python objects

    Unifies their type and ``__dict__`` attributes

    >>> from logpy.unifymore import unify_object
    >>> from logpy import var
    >>> class Foo(object):
    ...     def __init__(self, a, b):
    ...         self.a = a
    ...         self.b = b
    ...     def __str__(self):
    ...         return "Foo(%s, %s)"%(str(self.a), str(self.b))

    >>> x = var('x')
    >>> f = Foo(1, x)
    >>> g = Foo(1, 2)
    >>> unify_object(f, g, {})
    {~x: 2}
    """
    if type(u) != type(v):
        return False
    return unify_dict(u.__dict__, v.__dict__, s)
Пример #2
0
def test_unify_dict():
    assert unify_dict({1: 2}, {1: 2}, {}) == {}
    assert unify_dict({1: 2}, {1: 3}, {}) == False
    assert unify_dict({2: 2}, {1: 2}, {}) == False
    assert unify_dict({1: var(5)}, {1: 2}, {}) == {var(5): 2}