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

erlang extension(BinRel1, Set, AnySet)用法及代码示例


extension(BinRel1, Set, AnySet) -> BinRel2
类型： 
AnySet = anyset()
BinRel1 = BinRel2 = binary_relation()
Set = a_set()

返回扩大的BinRel1这样对于每个元素 ESet不属于领域的BinRel1,BinRel2包含对 (E,AnySet)。

1> S = sofs:set([b,c]),
A = sofs:empty_set(),
R = sofs:family([{a,[1,2]},{b,[3]}]),
X = sofs:extension(R, S, A),
sofs:to_external(X).
[{a,[1,2]},{b,[3]},{c,[]}]

相关用法


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