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。非經特殊聲明,原始代碼版權歸原作者所有,本譯文未經允許或授權,請勿轉載或複製。
