partition(SetFun, Set1, Set2) -> {Set3, Set4}
類型：
SetFun = set_fun()Set1 = Set2 = Set3 = Set4 = a_set()返回一對集合，將其視為構成集合，形成一個分割的Set1。如果申請結果SetFun到一個元素Set1給出一個元素Set2，該元素屬於Set3，否則該元素屬於Set4.
1> R1 = sofs:relation([{1,a},{2,b},{3,c}]),
S = sofs:set([2,4,6]),
{R2,R3} = sofs:partition(1, R1, S),
{sofs:to_external(R2),sofs:to_external(R3)}.
{[{2,b}],[{1,a},{3,c}]}partition(F, S1, S2) 相當於 {restriction(F, S1, S2),
drestriction(F, S1, S2)} 。
相關用法
- erlang partition(SetFun, Set)用法及代碼示例
- erlang partition(SetOfSets)用法及代碼示例
- erlang partition(Pred, List)用法及代碼示例
- erlang partition_family(SetFun, Set)用法及代碼示例
- erlang part(Subject, PosLen)用法及代碼示例
- erlang parse_erl_exprs(Prompt)用法及代碼示例
- erlang parse(URIString)用法及代碼示例
- erlang pad(String, Length)用法及代碼示例
- erlang put用法及代碼示例
- erlang ports用法及代碼示例
- erlang processes用法及代碼示例
- erlang pid_to_list用法及代碼示例
- erlang pid_to_list(Pid)用法及代碼示例
- erlang processes()用法及代碼示例
- erlang put(Key, Val)用法及代碼示例
- erlang print(DataOrStats, Options)用法及代碼示例
- erlang peek(Q :: queue(Item))用法及代碼示例
- erlang peek_r(Q :: queue(Item))用法及代碼示例
- erlang pseudo(Master, ServerList)用法及代碼示例
- erlang perf_counter(Unit)用法及代碼示例
- erlang put(Key, Value, Map1)用法及代碼示例
- erlang prefix(String :: unicode:chardata(), Prefix :: unicode:chardata())用法及代碼示例
- erlang product(TupleOfSets)用法及代碼示例
- erlang product(Set1, Set2)用法及代碼示例
- erlang projection(SetFun, Set1)用法及代碼示例
注：本文由純淨天空篩選整理自erlang.org大神的英文原創作品 partition(SetFun, Set1, Set2) -> {Set3, Set4}。非經特殊聲明，原始代碼版權歸原作者所有，本譯文未經允許或授權，請勿轉載或複製。