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


erlang strict_relation(BinRel1)用法及代码示例


strict_relation(BinRel1) -> BinRel2
类型:
BinRel1 = BinRel2 = binary_relation()

返回严格关系对应二元关系BinRel1.

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

相关用法


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