]> https://gitweb.dealii.org/ - dealii.git/commitdiff
Add comment about an if 8800/head
authorMartin Kronbichler <kronbichler@lnm.mw.tum.de>
Thu, 19 Sep 2019 16:41:19 +0000 (18:41 +0200)
committerMartin Kronbichler <kronbichler@lnm.mw.tum.de>
Thu, 19 Sep 2019 16:41:19 +0000 (18:41 +0200)
include/deal.II/base/index_set.h

index f4e6dfe24ac884dd23179b9f67fc77297a872418..ef6a55d575032385632ddaca62e5f5af36a587e5 100644 (file)
@@ -1693,6 +1693,11 @@ IndexSet::add_indices(const ForwardIterator &begin, const ForwardIterator &end)
 
       tmp_ranges.emplace_back(begin_index, end_index);
       p = q;
+
+      // if the starting index of the next go-around of the for loop is less
+      // than the end index of the one just identified, then we will have at
+      // least one pair of ranges that are not sorted, and consequently the
+      // whole collection of ranges is not sorted.
       if (p != end && *p < end_index)
         ranges_are_sorted = false;
     }

In the beginning the Universe was created. This has made a lot of people very angry and has been widely regarded as a bad move.

Douglas Adams


Typeset in Trocchi and Trocchi Bold Sans Serif.