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。非经特殊声明，原始代码版权归原作者所有，本译文未经允许或授权，请勿转载或复制。