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

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。非經特殊聲明，原始代碼版權歸原作者所有，本譯文未經允許或授權，請勿轉載或複製。