def test_eq_assoc(): assert results(eq_assoc(1, 1)) assert results(eq_assoc((a, 1, 2, 3), (a, 1, 2, 3))) assert not results(eq_assoc((a, 3, 2, 1), (a, 1, 2, 3))) assert results(eq_assoc((a, (a, 1, 2), 3), (a, 1, 2, 3))) assert results(eq_assoc((a, 1, 2, 3), (a, (a, 1, 2), 3))) o = 'op' assert not results(eq_assoc((o, 1, 2, 3), (o, (o, 1, 2), 3)))
def test_eq_assoc(): assert results(eq_assoc(1, 1)) assert results(eq_assoc((a, 1, 2, 3), (a, 1, 2, 3))) assert not results(eq_assoc((a, 3, 2, 1), (a, 1, 2, 3))) assert results(eq_assoc((a, (a, 1, 2), 3), (a, 1, 2, 3))) assert results(eq_assoc((a, 1, 2, 3), (a, (a, 1, 2), 3))) o = 'op' assert not results(eq_assoc((o, 1, 2, 3), (o, (o, 1, 2), 3))) # See TODO in assocunify gen = results(eq_assoc((a, 1, 2, 3), x, n=2)) assert set(g[x] for g in gen).issuperset(set([(a,(a,1,2),3), (a,1,(a,2,3))]))
def test_eq_assoc(): assert results(eq_assoc(1, 1)) assert results(eq_assoc((a, 1, 2, 3), (a, 1, 2, 3))) assert not results(eq_assoc((a, 3, 2, 1), (a, 1, 2, 3))) assert results(eq_assoc((a, (a, 1, 2), 3), (a, 1, 2, 3))) assert results(eq_assoc((a, 1, 2, 3), (a, (a, 1, 2), 3))) o = 'op' assert not results(eq_assoc((o, 1, 2, 3), (o, (o, 1, 2), 3))) # See TODO in assocunify gen = results(eq_assoc((a, 1, 2, 3), x, n=2)) assert set(g[x] for g in gen).issuperset( set([(a, (a, 1, 2), 3), (a, 1, (a, 2, 3))]))
def test_eq_assoc(): assert run(0, x, eq_assoc((c, 1, 2, 3), (c, x, 3))) == ((c, 1, 2),)