erlang weak_relation(BinRel1)用法及代碼示例

weak_relation(BinRel1) -> BinRel2

類型：

BinRel1 = BinRel2 = binary_relation()

返回的子集 S弱關係W對應二元關係BinRel1。設 F 為場地的BinRel1。子集 S 被定義為使得 x S y 如果 x W y 對於 F 中的某些 x 和 F 中的某些 y。

1> R1 = sofs:relation([{1,1},{1,2},{3,1}]),
R2 = sofs:weak_relation(R1),
sofs:to_external(R2).
[{1,1},{1,2},{2,2},{3,1},{3,3}]

相關用法

注：本文由純淨天空篩選整理自erlang.org大神的英文原創作品 weak_relation(BinRel1) -> BinRel2。非經特殊聲明，原始代碼版權歸原作者所有，本譯文未經允許或授權，請勿轉載或複製。