From fef4c25f12c6bbf09c133f385b91d8c3bd62da55 Mon Sep 17 00:00:00 2001 From: Hans Bolinder Date: Thu, 9 Feb 2012 12:12:17 +0100 Subject: Remove usage of tuple funs in sofs --- lib/stdlib/doc/src/sofs.xml | 10 +++++----- 1 file changed, 5 insertions(+), 5 deletions(-) (limited to 'lib/stdlib/doc') diff --git a/lib/stdlib/doc/src/sofs.xml b/lib/stdlib/doc/src/sofs.xml index 2e7768a1df..37c41501ae 100644 --- a/lib/stdlib/doc/src/sofs.xml +++ b/lib/stdlib/doc/src/sofs.xml @@ -4,7 +4,7 @@
- 20012011 + 20012012 Ericsson AB. All Rights Reserved. @@ -317,7 +317,7 @@ but is to be preferred since it makes it possible to handle this case even more efficiently. Examples of SetFuns:

-{sofs, union}
+fun sofs:union/1
 fun(S) -> sofs:partition(1, S) end
 {external, fun(A) -> A end}
 {external, fun({A,_,C}) -> {C,A} end}
@@ -711,7 +711,7 @@ fun(S) -> sofs:partition(1, S) end
           argument.

 1> F1 = sofs:from_term([{a,[[1,2],[2,3]]},{b,[[]]}]),
-F2 = sofs:family_projection({sofs, union}, F1),
+F2 = sofs:family_projection(fun sofs:union/1, F1),
 sofs:to_external(F2).
 [{a,[1,2,3]},{b,[]}]
@@ -821,7 +821,7 @@ fun(S) -> sofs:partition(1, S) end sofs:to_external(F2). [{a,[1,2,3]},{b,[]}]

family_union(F) is equivalent to - family_projection({sofs,union}, F).

+ family_projection(fun sofs:union/1, F).

@@ -1438,7 +1438,7 @@ true 1> R1 = sofs:relation([{a,1},{b,2}]), R2 = sofs:relation([{x,1},{x,2},{y,3}]), S1 = sofs:from_sets([R1,R2]), -S2 = sofs:specification({sofs,is_a_function}, S1), +S2 = sofs:specification(fun sofs:is_a_function/1, S1), sofs:to_external(S2). [[{a,1},{b,2}]] -- cgit v1.2.3