STL_Extension: worng formulation of precondition

In  STL_Extension/classCGAL_1_1In__place__list.html we see the line:
```
Both lists are increasingly sorted. A suitable operator< for the type T
```
the word `increasingly` means `more and more`, though most likely `in increasing order` is meant here
This commit is contained in:
albert-github 2022-09-28 18:59:31 +02:00
parent b8e342d845
commit fea5528a5c
2 changed files with 5 additions and 4 deletions

View File

@ -723,7 +723,7 @@ void unique();
/*!
merges the list `ipl2`
into the list `ipl` and `ipl2` becomes empty. It is stable.
\pre Both lists are increasingly sorted. A suitable `operator<` for the type `T`.
\pre Both lists are sorted in increasing order by means of a suitable `operator<` for the type `T`.
*/
void merge(In_place_list<T,bool>& ipl2);

View File

@ -575,14 +575,15 @@ public:
void merge(Self& x);
// merges the list x into the list `l' and x becomes empty. It is
// stable. Precondition: Both lists are increasingly sorted. A
// suitable `operator<' for the type T.
// stable. Precondition: Both lists are sorted in increasing order
// by means of a suitable `operator<` for the type `T`.
template < class StrictWeakOrdering >
void merge(Self& x, StrictWeakOrdering ord)
// merges the list x into the list `l' and x becomes empty.
// It is stable.
// Precondition: Both lists are increasingly sorted wrt. ord.
// stable. Precondition: Both lists are sorted in increasing order
// wrt. ord.
{
iterator first1 = begin();
iterator last1 = end();