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


erlang family_field(Family1)用法及代码示例


family_field(Family1) -> Family2
类型:
Family1 = Family2 = family()

如果Family1是一个家庭Family1[i] 是索引集中每个 i 的二元关系Family1, 然后Family2是具有相同索引集的族Family1这样Family2[i] 是场地Family1[我]。

1> FR = sofs:from_term([{a,[{1,a},{2,b},{3,c}]},{b,[]},{c,[{4,d},{5,e}]}]),
F = sofs:family_field(FR),
sofs:to_external(F).
[{a,[1,2,3,a,b,c]},{b,[]},{c,[4,5,d,e]}]

family_field(Family1) 相当于 family_union(family_domain(Family1), family_range(Family1))

相关用法


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