family_to_relation(Family) -> BinRel
類型:
Family = family()
BinRel = binary_relation()
如果Family
是一個家庭, 然後BinRel
是包含所有 (i, x) 對的二元關係,使得 i 屬於索引集Family
x 屬於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 family_difference(Family1, Family2)用法及代碼示例
- erlang family_domain(Family1)用法及代碼示例
- erlang family_field(Family1)用法及代碼示例
- erlang family_intersection(Family1)用法及代碼示例
- erlang family_intersection(Family1, Family2)用法及代碼示例
- erlang family_projection(SetFun, Family1)用法及代碼示例
- erlang family_range(Family1)用法及代碼示例
- erlang family_specification(Fun, Family1)用法及代碼示例
- erlang family_union(Family1)用法及代碼示例
- erlang family_union(Family1, Family2)用法及代碼示例
- erlang float用法及代碼示例
- erlang file_read用法及代碼示例
- erlang file_size用法及代碼示例
- erlang from_list用法及代碼示例
- erlang find用法及代碼示例
- erlang fun2ms(LiteralFun)用法及代碼示例
- erlang float(Number)用法及代碼示例
- erlang float_to_binary(Float, Options)用法及代碼示例
- erlang float_to_list(Float, Options)用法及代碼示例
- erlang floor(Number)用法及代碼示例
- erlang fun_to_list(Fun)用法及代碼示例
- erlang filter(Fun, Q1 :: queue(Item))用法及代碼示例
- erlang filtermap(Fun, Q1)用法及代碼示例
- erlang fold(Fun, Acc0, Q :: queue(Item))用法及代碼示例
- erlang fetch(Key, Orddict)用法及代碼示例
注:本文由純淨天空篩選整理自erlang.org大神的英文原創作品 family_to_relation(Family) -> BinRel。非經特殊聲明,原始代碼版權歸原作者所有,本譯文未經允許或授權,請勿轉載或複製。