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


erlang multiple_relative_product(TupleOfBinRels, BinRel1)用法及代碼示例


multiple_relative_product(TupleOfBinRels, BinRel1) -> BinRel2
類型:
TupleOfBinRels = tuple_of(BinRel)
BinRel = BinRel1 = BinRel2 = binary_relation()

如果TupleOfBinRels是二元關係的非空元組 {R[1], ..., R[n]} 且BinRel1是二元關係,那麽BinRel2是個多個相關產品有序集 (R[i], ..., R[n]) 和BinRel1.

1> Ri = sofs:relation([{a,1},{b,2},{c,3}]),
R = sofs:relation([{a,b},{b,c},{c,a}]),
MP = sofs:multiple_relative_product({Ri, Ri}, R),
sofs:to_external(sofs:range(MP)).
[{1,2},{2,3},{3,1}]

相關用法


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