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


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