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


erlang restriction(BinRel1, Set)用法及代码示例


restriction(BinRel1, Set) -> BinRel2
类型:
BinRel1 = BinRel2 = binary_relation()
Set = a_set()

返回限制二元关系的BinRel1Set.

1> R1 = sofs:relation([{1,a},{2,b},{3,c}]),
S = sofs:set([1,2,4]),
R2 = sofs:restriction(R1, S),
sofs:to_external(R2).
[{1,a},{2,b}]

相关用法


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