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

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