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

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