コード例 #1
0
def DR(contains, requires, supplies):
    return diff(diff(join(contains, requires), join(contains, supplies)),
                requires)
コード例 #2
0
def DS(contains, supplies):
    return diff(dr(dom(contains), supplies), join(contains, supplies))