From: Peter Munch <peterrmuench@gmail.com>
Date: Mon, 22 Nov 2021 14:50:59 +0000 (+0100)
Subject: Add iterator traits to hp::CollectionIterator
X-Git-Tag: v9.4.0-rc1~810^2
X-Git-Url: https://gitweb.dealii.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=refs%2Fpull%2F12982%2Fhead;p=dealii.git

Add iterator traits to hp::CollectionIterator
---

diff --git a/include/deal.II/hp/collection.h b/include/deal.II/hp/collection.h
index ebce43e177..67b92615d6 100644
--- a/include/deal.II/hp/collection.h
+++ b/include/deal.II/hp/collection.h
@@ -293,4 +293,18 @@ namespace hp
 
 DEAL_II_NAMESPACE_CLOSE
 
+namespace std
+{
+  /**
+   * Iterator traits for hp::CollectionIterator.
+   */
+  template <class T>
+  struct iterator_traits<dealii::hp::CollectionIterator<T>>
+  {
+    using iterator_category = random_access_iterator_tag;
+    using value_type        = T;
+    using difference_type   = std::ptrdiff_t;
+  };
+} // namespace std
+
 #endif