当前位置: 首页>>代码示例 >>用法及示例精选 >>正文

erlang partition_family(SetFun, Set)用法及代码示例


partition_family(SetFun, Set) -> Family
类型： 
Family = family()
SetFun = set_fun()
Set = a_set()

返回家庭 Family其中索引集是分割的Set这样，如果应用的结果是两个元素被认为是相等的SetFuni 的值相同。这个 i 是索引Family映射到等价类.

1> S = sofs:relation([{a,a,a,a},{a,a,b,b},{a,b,b,b}]),
SetFun = {external, fun({A,_,C,_}) -> {A,C} end},
F = sofs:partition_family(SetFun, S),
sofs:to_external(F).
[{{a,a},[{a,a,a,a}]},{{a,b},[{a,a,b,b},{a,b,b,b}]}]

相关用法


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