當前位置: 首頁>>代碼示例 >>用法及示例精選 >>正文


erlang drestriction(SetFun, Set1, Set2)用法及代碼示例


drestriction(SetFun, Set1, Set2) -> Set3
類型:
SetFun = set_fun()
Set1 = Set2 = Set3 = a_set()

返回 Set1 的子集,其中包含未在 Set2 中給出元素作為應用 SetFun 的結果的元素。

1> SetFun = {external, fun({_A,B,C}) -> {B,C} end},
R1 = sofs:relation([{a,aa,1},{b,bb,2},{c,cc,3}]),
R2 = sofs:relation([{bb,2},{cc,3},{dd,4}]),
R3 = sofs:drestriction(SetFun, R1, R2),
sofs:to_external(R3).
[{a,aa,1}]

drestriction(F, S1, S2) 相當於 difference(S1, restriction(F, S1, S2))

相關用法


注:本文由純淨天空篩選整理自erlang.org大神的英文原創作品 drestriction(SetFun, Set1, Set2) -> Set3。非經特殊聲明,原始代碼版權歸原作者所有,本譯文未經允許或授權,請勿轉載或複製。