From 50f64c60b87e8d03fedc3f9f4e655aff8ca9f16c Mon Sep 17 00:00:00 2001 From: Sverker Eriksson Date: Wed, 12 Dec 2018 19:32:24 +0100 Subject: Add empty 'since' attribute for old modules and functions --- lib/stdlib/doc/src/sofs.xml | 168 ++++++++++++++++++++++---------------------- 1 file changed, 84 insertions(+), 84 deletions(-) (limited to 'lib/stdlib/doc/src/sofs.xml') diff --git a/lib/stdlib/doc/src/sofs.xml b/lib/stdlib/doc/src/sofs.xml index 4cf1984d46..a0759d2f52 100644 --- a/lib/stdlib/doc/src/sofs.xml +++ b/lib/stdlib/doc/src/sofs.xml @@ -32,7 +32,7 @@ PA1 sofs.xml - sofs + sofs Functions for manipulating sets of sets.

This module provides operations on finite sets and @@ -456,8 +456,8 @@ fun(S) -> sofs:partition(1, S) end - - + + Create a function.

Creates a function. @@ -470,7 +470,7 @@ fun(S) -> sofs:partition(1, S) end - + Return the canonical map.

Returns the binary relation containing the elements @@ -490,7 +490,7 @@ fun(S) -> sofs:partition(1, S) end - + Return the composite of two functions.

Returns the composite of @@ -506,7 +506,7 @@ fun(S) -> sofs:partition(1, S) end - + Create the function that maps each element of a set onto another set. @@ -522,7 +522,7 @@ fun(S) -> sofs:partition(1, S) end - + Return the converse of a binary relation.

Returns the converse @@ -536,7 +536,7 @@ fun(S) -> sofs:partition(1, S) end - + Return the difference of two sets.

Returns the difference of @@ -545,8 +545,8 @@ fun(S) -> sofs:partition(1, S) end - - + + Create a family from a directed graph.

Creates a family from @@ -565,7 +565,7 @@ fun(S) -> sofs:partition(1, S) end - + Return the domain of a binary relation.

Returns the domain of @@ -579,7 +579,7 @@ fun(S) -> sofs:partition(1, S) end - + Return a restriction of a binary relation.

Returns the difference between the binary relation @@ -598,7 +598,7 @@ fun(S) -> sofs:partition(1, S) end - + Return a restriction of a relation.

Returns a subset of Set1 containing those @@ -618,7 +618,7 @@ fun(S) -> sofs:partition(1, S) end - + Return the untyped empty set.

Returns the untyped empty @@ -628,7 +628,7 @@ fun(S) -> sofs:partition(1, S) end - + Extend the domain of a binary relation.

Returns the extension of @@ -648,8 +648,8 @@ fun(S) -> sofs:partition(1, S) end - - + + Create a family of subsets.

Creates a family of subsets. @@ -662,7 +662,7 @@ fun(S) -> sofs:partition(1, S) end - + Return the difference of two families.

If Family1 and Family2 @@ -683,7 +683,7 @@ fun(S) -> sofs:partition(1, S) end - + Return a family of domains.

If Family1 is @@ -704,7 +704,7 @@ fun(S) -> sofs:partition(1, S) end - + Return a family of fields.

If Family1 is @@ -728,7 +728,7 @@ fun(S) -> sofs:partition(1, S) end - + Return the intersection of a family of sets of sets. @@ -752,7 +752,7 @@ fun(S) -> sofs:partition(1, S) end - + Return the intersection of two families.

If Family1 and Family2 @@ -772,7 +772,7 @@ fun(S) -> sofs:partition(1, S) end - + Return a family of modified subsets.

If Family1 is @@ -791,7 +791,7 @@ fun(S) -> sofs:partition(1, S) end - + Return a family of ranges.

If Family1 is @@ -812,7 +812,7 @@ fun(S) -> sofs:partition(1, S) end - + Select a subset of a family using a predicate.

If Family1 is @@ -837,8 +837,8 @@ fun(S) -> sofs:partition(1, S) end - - + + Create a directed graph from a family.

Creates a directed graph from @@ -863,7 +863,7 @@ fun(S) -> sofs:partition(1, S) end - + Create a binary relation from a family.

If Family is @@ -881,7 +881,7 @@ fun(S) -> sofs:partition(1, S) end - + Return the union of a family of sets of sets.

If Family1 is @@ -904,7 +904,7 @@ fun(S) -> sofs:partition(1, S) end - + Return the union of two families.

If Family1 and Family2 @@ -926,7 +926,7 @@ fun(S) -> sofs:partition(1, S) end - + Return the field of a binary relation.

Returns the field of the @@ -942,7 +942,7 @@ fun(S) -> sofs:partition(1, S) end - + Create a set.

Creates a set from the external @@ -955,7 +955,7 @@ fun(S) -> sofs:partition(1, S) end - + Create a set out of a list of sets.

Returns the unordered @@ -971,7 +971,7 @@ fun(S) -> sofs:partition(1, S) end - + Create an ordered set out of a tuple of sets.

Returns the ordered @@ -981,8 +981,8 @@ fun(S) -> sofs:partition(1, S) end - - + + Create a set.

Creates an element @@ -1031,7 +1031,7 @@ fun(S) -> sofs:partition(1, S) end - + Return the image of a set under a binary relation.

Returns the image of @@ -1047,7 +1047,7 @@ fun(S) -> sofs:partition(1, S) end - + Return the intersection of a set of sets.

Returns @@ -1059,7 +1059,7 @@ fun(S) -> sofs:partition(1, S) end - + Return the intersection of two sets.

Returns @@ -1069,7 +1069,7 @@ fun(S) -> sofs:partition(1, S) end - + Return the intersection of a family.

Returns the intersection of @@ -1086,7 +1086,7 @@ fun(S) -> sofs:partition(1, S) end - + Return the inverse of a function.

Returns the inverse @@ -1100,7 +1100,7 @@ fun(S) -> sofs:partition(1, S) end - + Return the inverse image of a set under a binary relation. @@ -1117,7 +1117,7 @@ fun(S) -> sofs:partition(1, S) end - + Test for a function.

Returns true if the binary relation BinRel @@ -1127,7 +1127,7 @@ fun(S) -> sofs:partition(1, S) end - + Test for disjoint sets.

Returns true if Set1 @@ -1138,7 +1138,7 @@ fun(S) -> sofs:partition(1, S) end - + Test for an empty set.

Returns true if AnySet is an empty @@ -1147,7 +1147,7 @@ fun(S) -> sofs:partition(1, S) end - + Test two sets for equality.

Returns true if AnySet1 @@ -1164,7 +1164,7 @@ true - + Test for an unordered set.

Returns true if AnySet is @@ -1175,7 +1175,7 @@ true - + Test for an unordered set.

Returns true if Term is @@ -1185,7 +1185,7 @@ true - + Test two sets for subset.

Returns true if Set1 is @@ -1195,7 +1195,7 @@ true - + Test for a type.

Returns true if term Term is @@ -1204,7 +1204,7 @@ true - + Return the join of two relations.

Returns the natural @@ -1221,7 +1221,7 @@ true - + Return the multiple relative product of a tuple of binary relations and a relation. @@ -1242,7 +1242,7 @@ true - + Return the number of elements of a set.

Returns the number of elements of the ordered or unordered @@ -1251,7 +1251,7 @@ true - + Return the coarsest partition given a set of sets.

Returns the partition of @@ -1268,7 +1268,7 @@ true - + Return a partition of a set.

Returns the partition of @@ -1284,7 +1284,7 @@ true - + Return a partition of a set.

Returns a pair of sets that, regarded as constituting a @@ -1307,7 +1307,7 @@ true - + Return a family indexing a partition.

Returns family @@ -1328,7 +1328,7 @@ true - + Return the Cartesian product of a tuple of sets.

Returns the Cartesian @@ -1347,7 +1347,7 @@ true - + Return the Cartesian product of two sets.

Returns the Cartesian @@ -1365,7 +1365,7 @@ true - + Return a set of substituted elements.

Returns the set created by substituting each element of @@ -1384,7 +1384,7 @@ true - + Return the range of a binary relation.

Returns the range of the @@ -1398,8 +1398,8 @@ true - - + + Create a relation.

Creates a relation. @@ -1417,7 +1417,7 @@ true - + Create a family from a binary relation.

Returns family @@ -1435,8 +1435,8 @@ true - - + + Return the relative product of a list of binary relations and a binary relation. @@ -1466,7 +1466,7 @@ true - + Return the relative product of two binary relations. @@ -1477,7 +1477,7 @@ true - + Return the relative_product of two binary relations. @@ -1498,7 +1498,7 @@ true - + Return a restriction of a binary relation.

Returns the restriction of @@ -1514,7 +1514,7 @@ true - + Return a restriction of a set.

Returns a subset of Set1 containing those @@ -1530,8 +1530,8 @@ true - - + + Create a set of atoms or any type of sets.

Creates an unordered @@ -1543,7 +1543,7 @@ true - + Select a subset using a predicate.

Returns the set containing every element @@ -1564,7 +1564,7 @@ true - + Return the strict relation corresponding to a given relation. @@ -1580,7 +1580,7 @@ true - + Return a function with a given set as domain.

Returns a function, the domain of which @@ -1629,7 +1629,7 @@ images2(SetOfSets, BinRel) -> - + Return the symmetric difference of two sets.

Returns the symmetric @@ -1645,7 +1645,7 @@ images2(SetOfSets, BinRel) -> - + Return a partition of two sets.

Returns a triple of sets:

@@ -1666,7 +1666,7 @@ images2(SetOfSets, BinRel) -> - + Return the elements of a set.

Returns the external @@ -1675,7 +1675,7 @@ images2(SetOfSets, BinRel) -> - + Return a list or a tuple of the elements of a set.

Returns the elements of the ordered set ASet @@ -1686,7 +1686,7 @@ images2(SetOfSets, BinRel) -> - + Return the type of a set.

Returns the type of an @@ -1695,7 +1695,7 @@ images2(SetOfSets, BinRel) -> - + Return the union of a set of sets.

Returns the union of the @@ -1704,7 +1704,7 @@ images2(SetOfSets, BinRel) -> - + Return the union of two sets.

Returns the union of @@ -1713,7 +1713,7 @@ images2(SetOfSets, BinRel) -> - + Return the union of a family.

Returns the union of family @@ -1727,7 +1727,7 @@ images2(SetOfSets, BinRel) -> - + Return the weak relation corresponding to a given relation. -- cgit v1.2.3