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

erlang relative_product1(BinRel1, BinRel2)用法及代码示例


relative_product1(BinRel1, BinRel2) -> BinRel3
类型： 
BinRel1 = BinRel2 = BinRel3 = binary_relation()

返回相关产品的交谈二元关系的BinRel1和二元关系BinRel2.

1> R1 = sofs:relation([{1,a},{1,aa},{2,b}]),
R2 = sofs:relation([{1,u},{2,v},{3,c}]),
R3 = sofs:relative_product1(R1, R2),
sofs:to_external(R3).
[{a,u},{aa,u},{b,v}]

relative_product1(R1, R2) 相当于 relative_product(converse(R1), R2) 。

相关用法


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