From: Wolfgang Bangerth <bangerth@colostate.edu>
Date: Tue, 13 Feb 2024 02:47:59 +0000 (-0700)
Subject: Clarify the documentation of IndexSet::is_empty().
X-Git-Tag: relicensing~41^2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F16640%2Fhead;p=dealii.git

Clarify the documentation of IndexSet::is_empty().
---

diff --git a/include/deal.II/base/index_set.h b/include/deal.II/base/index_set.h
index 8cc267ebba..9605490868 100644
--- a/include/deal.II/base/index_set.h
+++ b/include/deal.II/base/index_set.h
@@ -255,6 +255,11 @@ public:
   /**
    * Return whether the index set stored by this object contains no elements.
    * This is similar, but faster than checking <code>n_elements() == 0</code>.
+   *
+   * Note that a set being empty does not imply that the size of the
+   * index space must be zero. Rather, this function returns `true` if
+   * the subset of indices in the index space is the empty set,
+   * regardless of the size of the index space.
    */
   bool
   is_empty() const;