示例#1
0
文件: assoccomm.py 项目: jdmcbr/logpy
def unify_comm(u, v, s):
    return unique_dict(unify_assoccomm(u, v, s, 11))
示例#2
0
文件: test_core.py 项目: jdmcbr/logpy
def test_unique_dict():
    assert tuple(unique_dict(({1: 2}, {2: 3}))) == ({1: 2}, {2: 3})
    assert tuple(unique_dict(({1: 2}, {1: 2}))) == ({1: 2},)
示例#3
0
文件: assoccomm.py 项目: jdmcbr/logpy
def unify_assoc(u, v, s):
    return unique_dict(unify_assoccomm(u, v, s, None))