diff options
Diffstat (limited to 'lib/stdlib/doc/src/ordsets.xml')
-rw-r--r-- | lib/stdlib/doc/src/ordsets.xml | 175 |
1 files changed, 105 insertions, 70 deletions
diff --git a/lib/stdlib/doc/src/ordsets.xml b/lib/stdlib/doc/src/ordsets.xml index 639e041d79..11f98c8fb7 100644 --- a/lib/stdlib/doc/src/ordsets.xml +++ b/lib/stdlib/doc/src/ordsets.xml @@ -4,7 +4,7 @@ <erlref> <header> <copyright> - <year>1996</year><year>2013</year> + <year>1996</year><year>2018</year> <holder>Ericsson AB. All Rights Reserved.</holder> </copyright> <legalnotice> @@ -24,23 +24,27 @@ <title>ordsets</title> <prepared>Robert Virding</prepared> - <responsible>Bjarne Dacker</responsible> + <responsible>Bjarne Däcker</responsible> <docno>1</docno> <approved>Bjarne Däcker</approved> <checked></checked> - <date>99-07-27</date> + <date>1999-07-27</date> <rev>A</rev> - <file>ordsets.sgml</file> + <file>ordsets.xml</file> </header> <module>ordsets</module> - <modulesummary>Functions for Manipulating Sets as Ordered Lists</modulesummary> + <modulesummary>Functions for manipulating sets as ordered lists. + </modulesummary> <description> <p>Sets are collections of elements with no duplicate elements. An <c>ordset</c> is a representation of a set, where an ordered list is used to store the elements of the set. An ordered list - is more efficient than an unordered list.</p> - <p>This module provides exactly the same interface as the module - <c>sets</c> but with a defined representation. One difference is + is more efficient than an unordered list. Elements are ordered + according to the <em>Erlang term order</em>.</p> + + <p>This module provides the same interface as the + <seealso marker="sets"><c>sets(3)</c></seealso> module + but with a defined representation. One difference is that while <c>sets</c> considers two elements as different if they do not match (<c>=:=</c>), this module considers two elements as different if and only if they do not compare equal (<c>==</c>).</p> @@ -49,146 +53,177 @@ <datatypes> <datatype> <name name="ordset" n_vars="1"/> - <desc><p>As returned by new/0.</p></desc> + <desc><p>As returned by + <seealso marker="#new/0"><c>new/0</c></seealso>.</p></desc> </datatype> </datatypes> + <funcs> <func> - <name name="new" arity="0"/> - <fsummary>Return an empty set</fsummary> + <name name="add_element" arity="2"/> + <fsummary>Add an element to an <c>Ordset</c>.</fsummary> <desc> - <p>Returns a new empty ordered set.</p> + <p>Returns a new ordered set formed from <c><anno>Ordset1</anno></c> + with <c><anno>Element</anno></c> inserted.</p> </desc> </func> + <func> - <name name="is_set" arity="1"/> - <fsummary>Test for an <c>Ordset</c></fsummary> + <name name="del_element" arity="2"/> + <fsummary>Remove an element from an <c>Ordset</c>.</fsummary> <desc> - <p>Returns <c>true</c> if <c><anno>Ordset</anno></c> is an ordered set of - elements, otherwise <c>false</c>.</p> + <p>Returns <c><anno>Ordset1</anno></c>, but with + <c><anno>Element</anno></c> removed.</p> </desc> </func> + <func> - <name name="size" arity="1"/> - <fsummary>Return the number of elements in a set</fsummary> + <name name="filter" arity="2"/> + <fsummary>Filter set elements.</fsummary> <desc> - <p>Returns the number of elements in <c><anno>Ordset</anno></c>.</p> + <p>Filters elements in <c><anno>Ordset1</anno></c> with boolean function + <c><anno>Pred</anno></c>.</p> </desc> </func> + <func> - <name name="to_list" arity="1"/> - <fsummary>Convert an <c>Ordset</c>into a list</fsummary> + <name name="fold" arity="3"/> + <fsummary>Fold over set elements.</fsummary> <desc> - <p>Returns the elements of <c><anno>Ordset</anno></c> as a list.</p> + <p>Folds <c><anno>Function</anno></c> over every element in + <c><anno>Ordset</anno></c> and returns the final value of the + accumulator.</p> </desc> </func> + <func> <name name="from_list" arity="1"/> - <fsummary>Convert a list into an <c>Ordset</c></fsummary> + <fsummary>Convert a list into an <c>Ordset</c>.</fsummary> <desc> - <p>Returns an ordered set of the elements in <c><anno>List</anno></c>.</p> + <p>Returns an ordered set of the elements in <c><anno>List</anno></c>. + </p> </desc> </func> + <func> - <name name="is_element" arity="2"/> - <fsummary>Test for membership of an <c>Ordset</c></fsummary> + <name name="intersection" arity="1"/> + <fsummary>Return the intersection of a list of <c>Ordsets</c></fsummary> <desc> - <p>Returns <c>true</c> if <c><anno>Element</anno></c> is an element of - <c><anno>Ordset</anno></c>, otherwise <c>false</c>.</p> + <p>Returns the intersection of the non-empty list of sets.</p> </desc> </func> + <func> - <name name="add_element" arity="2"/> - <fsummary>Add an element to an <c>Ordset</c></fsummary> + <name name="intersection" arity="2"/> + <fsummary>Return the intersection of two <c>Ordsets</c>.</fsummary> <desc> - <p>Returns a new ordered set formed from <c><anno>Ordset1</anno></c> with - <c><anno>Element</anno></c> inserted.</p> + <p>Returns the intersection of <c><anno>Ordset1</anno></c> and + <c><anno>Ordset2</anno></c>.</p> </desc> </func> + <func> - <name name="del_element" arity="2"/> - <fsummary>Remove an element from an <c>Ordset</c></fsummary> + <name name="is_disjoint" arity="2"/> + <fsummary>Check whether two <c>Ordsets</c> are disjoint.</fsummary> <desc> - <p>Returns <c><anno>Ordset1</anno></c>, but with <c><anno>Element</anno></c> removed.</p> + <p>Returns <c>true</c> if <c><anno>Ordset1</anno></c> and + <c><anno>Ordset2</anno></c> are disjoint (have no elements in common), + otherwise <c>false</c>.</p> </desc> </func> + <func> - <name name="union" arity="2"/> - <fsummary>Return the union of two <c>Ordsets</c></fsummary> + <name name="is_element" arity="2"/> + <fsummary>Test for membership of an <c>Ordset</c>.</fsummary> <desc> - <p>Returns the merged (union) set of <c><anno>Ordset1</anno></c> and - <c><anno>Ordset2</anno></c>.</p> + <p>Returns <c>true</c> if <c><anno>Element</anno></c> is an element of + <c><anno>Ordset</anno></c>, otherwise <c>false</c>.</p> </desc> </func> + <func> - <name name="union" arity="1"/> - <fsummary>Return the union of a list of <c>Ordsets</c></fsummary> + <name name="is_empty" arity="1"/> + <fsummary>Test for empty set.</fsummary> <desc> - <p>Returns the merged (union) set of the list of sets.</p> + <p>Returns <c>true</c> if <c><anno>Ordset</anno></c> is an empty set, + otherwise <c>false</c>.</p> </desc> </func> + <func> - <name name="intersection" arity="2"/> - <fsummary>Return the intersection of two <c>Ordsets</c></fsummary> + <name name="is_set" arity="1"/> + <fsummary>Test for an <c>Ordset</c>.</fsummary> <desc> - <p>Returns the intersection of <c><anno>Ordset1</anno></c> and - <c><anno>Ordset2</anno></c>.</p> + <p>Returns <c>true</c> if <c><anno>Ordset</anno></c> is an ordered set + of elements, otherwise <c>false</c>.</p> </desc> </func> + <func> - <name name="intersection" arity="1"/> - <fsummary>Return the intersection of a list of <c>Ordsets</c></fsummary> + <name name="is_subset" arity="2"/> + <fsummary>Test for subset.</fsummary> <desc> - <p>Returns the intersection of the non-empty list of sets.</p> + <p>Returns <c>true</c> when every element of <c><anno>Ordset1</anno></c> + is also a member of <c><anno>Ordset2</anno></c>, otherwise + <c>false</c>.</p> </desc> </func> + <func> - <name name="is_disjoint" arity="2"/> - <fsummary>Check whether two <c>Ordsets</c> are disjoint</fsummary> + <name name="new" arity="0"/> + <fsummary>Return an empty set.</fsummary> <desc> - <p>Returns <c>true</c> if <c><anno>Ordset1</anno></c> and - <c><anno>Ordset2</anno></c> are disjoint (have no elements in common), - and <c>false</c> otherwise.</p> + <p>Returns a new empty ordered set.</p> </desc> </func> + + <func> + <name name="size" arity="1"/> + <fsummary>Return the number of elements in a set.</fsummary> + <desc> + <p>Returns the number of elements in <c><anno>Ordset</anno></c>.</p> + </desc> + </func> + <func> <name name="subtract" arity="2"/> - <fsummary>Return the difference of two <c>Ordsets</c></fsummary> + <fsummary>Return the difference of two <c>Ordsets</c>.</fsummary> <desc> - <p>Returns only the elements of <c><anno>Ordset1</anno></c> which are not + <p>Returns only the elements of <c><anno>Ordset1</anno></c> that are not also elements of <c><anno>Ordset2</anno></c>.</p> </desc> </func> + <func> - <name name="is_subset" arity="2"/> - <fsummary>Test for subset</fsummary> + <name name="to_list" arity="1"/> + <fsummary>Convert an <c>Ordset</c> into a list.</fsummary> <desc> - <p>Returns <c>true</c> when every element of <c><anno>Ordset1</anno></c> is - also a member of <c><anno>Ordset2</anno></c>, otherwise <c>false</c>.</p> + <p>Returns the elements of <c><anno>Ordset</anno></c> as a list.</p> </desc> </func> + <func> - <name name="fold" arity="3"/> - <fsummary>Fold over set elements</fsummary> + <name name="union" arity="1"/> + <fsummary>Return the union of a list of <c>Ordsets</c>.</fsummary> <desc> - <p>Fold <c><anno>Function</anno></c> over every element in <c><anno>Ordset</anno></c> - returning the final value of the accumulator.</p> + <p>Returns the merged (union) set of the list of sets.</p> </desc> </func> + <func> - <name name="filter" arity="2"/> - <fsummary>Filter set elements</fsummary> + <name name="union" arity="2"/> + <fsummary>Return the union of two <c>Ordsets</c>.</fsummary> <desc> - <p>Filter elements in <c><anno>Ordset1</anno></c> with boolean function - <c><anno>Pred</anno></c>.</p> + <p>Returns the merged (union) set of <c><anno>Ordset1</anno></c> and + <c><anno>Ordset2</anno></c>.</p> </desc> </func> </funcs> <section> <title>See Also</title> - <p><seealso marker="gb_sets">gb_sets(3)</seealso>, - <seealso marker="sets">sets(3)</seealso></p> + <p><seealso marker="gb_sets"><c>gb_sets(3)</c></seealso>, + <seealso marker="sets"><c>sets(3)</c></seealso></p> </section> </erlref> |