erlang family_to_relation(Family)用法及代码示例

family_to_relation(Family) -> BinRel

类型：

Family = family()

BinRel = binary_relation()

如果Family是一个家庭，然后BinRel是包含所有 (i, x) 对的二元关系，使得 i 属于索引集Familyx 属于Family[我]。

1> F = sofs:family([{a,[]}, {b,[1]}, {c,[2,3]}]),
R = sofs:family_to_relation(F),
sofs:to_external(R).
[{b,1},{c,2},{c,3}]

相关用法

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