restriction(BinRel1, Set) -> BinRel2
类型:
BinRel1 = BinRel2 = binary_relation()
Set = a_set()
返回限制二元关系的BinRel1
到Set
.
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 restriction(SetFun, Set1, Set2)用法及代码示例
- erlang resolve(RefURI, BaseURI)用法及代码示例
- erlang resolve(RefURI, BaseURI, Options)用法及代码示例
- erlang reverse用法及代码示例
- erlang rename用法及代码示例
- erlang remove用法及代码示例
- erlang registered用法及代码示例
- erlang register用法及代码示例
- erlang repair_continuation(Continuation, MatchSpec)用法及代码示例
- erlang register(RegName, PidOrPort)用法及代码示例
- erlang registered()用法及代码示例
- erlang read_file_info(Filename)用法及代码示例
- erlang read_file_info(File)用法及代码示例
- erlang remove(Key, Map1)用法及代码示例
- erlang referenced_byte_size(Binary)用法及代码示例
- erlang replace(Subject, Pattern, Replacement, Options)用法及代码示例
- erlang receive_response(RequestId, Timeout)用法及代码示例
- erlang replace(String, SearchPattern, Replacement)用法及代码示例
- erlang reverse(String :: unicode:chardata())用法及代码示例
- erlang reverse(List1, Tail)用法及代码示例
- erlang replace(Subject, RE, Replacement, Options)用法及代码示例
- erlang relation_to_family(BinRel)用法及代码示例
- erlang relative_product(ListOfBinRels)用法及代码示例
- erlang relative_product1(BinRel1, BinRel2)用法及代码示例
- erlang recv(Socket)用法及代码示例
注:本文由纯净天空筛选整理自erlang.org大神的英文原创作品 restriction(BinRel1, Set) -> BinRel2。非经特殊声明,原始代码版权归原作者所有,本译文未经允许或授权,请勿转载或复制。