コード例 #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))