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}。非经特殊声明，原始代码版权归原作者所有，本译文未经允许或授权，请勿转载或复制。