restriction(SetFun, Set1, Set2) -> Set3
類型:
SetFun = set_fun()
Set1 = Set2 = Set3 = a_set()
返回 Set1
的子集,其中包含那些在 Set2
中給出元素作為應用 SetFun
的結果的元素。
1> S1 = sofs:relation([{1,a},{2,b},{3,c}]),
S2 = sofs:set([b,c,d]),
S3 = sofs:restriction(2, S1, S2),
sofs:to_external(S3).
[{2,b},{3,c}]
相關用法
- erlang restriction(BinRel1, Set)用法及代碼示例
- 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(SetFun, Set1, Set2) -> Set3。非經特殊聲明,原始代碼版權歸原作者所有,本譯文未經允許或授權,請勿轉載或複製。