erlang restriction(SetFun, Set1, Set2)用法及代码示例

restriction(SetFun, Set1, Set2) -> Set3

类型：

SetFun = set_fun()

Set1 = Set2 = Set3 = a_set()

返回 Set1 的子集，其中包含那些在 Set2 中给出元素作为应用 SetFun 的结果的元素。

1> S1 = sofs:relation([{1,a},{2,b},{3,c}]),
S2 = sofs:set([b,c,d]),
S3 = sofs:restriction(2, S1, S2),
sofs:to_external(S3).
[{2,b},{3,c}]

相关用法

注：本文由纯净天空筛选整理自erlang.org大神的英文原创作品 restriction(SetFun, Set1, Set2) -> Set3。非经特殊声明，原始代码版权归原作者所有，本译文未经允许或授权，请勿转载或复制。