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


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