Add a 'requires' clause to class Triangulation.

diff --git a/include/deal.II/distributed/p4est_wrappers.h b/include/deal.II/distributed/p4est_wrappers.h
index 44d3a8c1a74c07f85b41a9c18f97737fff181c1a..c3c46f84e80f66b5f2dc753b6362ff01dc493205 100644 (file)
--- a/include/deal.II/distributed/p4est_wrappers.h
+++ b/include/deal.II/distributed/p4est_wrappers.h
@@ -47,6 +47,7 @@ namespace parallel
   namespace distributed
   {
     template <int dim, int spacedim>
+    DEAL_II_CXX20_REQUIRES((concepts::is_valid_dim_spacedim<dim, spacedim>))
     class Triangulation;
   }
 } // namespace parallel

diff --git a/include/deal.II/dofs/dof_handler.h b/include/deal.II/dofs/dof_handler.h
index d7ef70ebaca0d412a7966ccd02b59c54253813ec..cdf76cca82dc8be56d1221d9ad6f6c6f6562189c 100644 (file)
--- a/include/deal.II/dofs/dof_handler.h
+++ b/include/deal.II/dofs/dof_handler.h
@@ -50,6 +50,7 @@ DEAL_II_NAMESPACE_OPEN
 template <int dim, int spacedim>
 class FiniteElement;
 template <int dim, int spacedim>
+DEAL_II_CXX20_REQUIRES((concepts::is_valid_dim_spacedim<dim, spacedim>))
 class Triangulation;
 
 namespace internal

diff --git a/include/deal.II/grid/cell_id.h b/include/deal.II/grid/cell_id.h
index 67d9058b96aeaf03f4c606f90edbda9b319be6db..73e25f46c3c99c663d48f3089f40d4a85a87eeed 100644 (file)
--- a/include/deal.II/grid/cell_id.h
+++ b/include/deal.II/grid/cell_id.h
@@ -34,7 +34,8 @@ DEAL_II_NAMESPACE_OPEN
 
 // Forward declarations
 #ifndef DOXYGEN
-template <int, int>
+template <int dim, int spacedim>
+DEAL_II_CXX20_REQUIRES((concepts::is_valid_dim_spacedim<dim, spacedim>))
 class Triangulation;
 #endif
 

diff --git a/include/deal.II/grid/grid_in.h b/include/deal.II/grid/grid_in.h
index b0b8fca34531a04219f835318cd0c114f0292498..e5688da8a152e0af07093d35631971cad80f330c 100644 (file)
--- a/include/deal.II/grid/grid_in.h
+++ b/include/deal.II/grid/grid_in.h
@@ -31,7 +31,8 @@ DEAL_II_NAMESPACE_OPEN
 
 // Forward declarations
 #ifndef DOXYGEN
-template <int dim, int space_dim>
+template <int dim, int spacedim>
+DEAL_II_CXX20_REQUIRES((concepts::is_valid_dim_spacedim<dim, spacedim>))
 class Triangulation;
 template <int dim>
 struct CellData;

diff --git a/include/deal.II/grid/grid_out.h b/include/deal.II/grid/grid_out.h
index 99410a3eed0695921869af46f42755a3e4e5adc7..41bbb40519d6eaec0921e0b2bb8fb65b8b9dea3a 100644 (file)
--- a/include/deal.II/grid/grid_out.h
+++ b/include/deal.II/grid/grid_out.h
@@ -32,6 +32,7 @@ DEAL_II_NAMESPACE_OPEN
 #ifndef DOXYGEN
 class ParameterHandler;
 template <int dim, int spacedim>
+DEAL_II_CXX20_REQUIRES((concepts::is_valid_dim_spacedim<dim, spacedim>))
 class Triangulation;
 template <int dim, int spacedim>
 class Mapping;

diff --git a/include/deal.II/grid/grid_refinement.h b/include/deal.II/grid/grid_refinement.h
index 6a283335747d37a19b81837add2645e4c3426662..b9996eb83f1395498b5d40935bef2123ebe9fdd8 100644 (file)
--- a/include/deal.II/grid/grid_refinement.h
+++ b/include/deal.II/grid/grid_refinement.h
@@ -30,6 +30,7 @@ DEAL_II_NAMESPACE_OPEN
 // forward declarations
 #ifndef DOXYGEN
 template <int dim, int spacedim>
+DEAL_II_CXX20_REQUIRES((concepts::is_valid_dim_spacedim<dim, spacedim>))
 class Triangulation;
 template <typename Number>
 class Vector;

diff --git a/include/deal.II/grid/grid_tools.h b/include/deal.II/grid/grid_tools.h
index d756d6e73676ede9ea70061d68edfc0ee7a9996a..025a4c95d3cdc6ad1f64b71c790a2519929da47a 100644 (file)
--- a/include/deal.II/grid/grid_tools.h
+++ b/include/deal.II/grid/grid_tools.h
@@ -71,7 +71,7 @@ namespace parallel
 {
   namespace distributed
   {
-    template <int, int>
+    template <int dim, int spacedim>
     class Triangulation;
   }
 } // namespace parallel

diff --git a/include/deal.II/grid/tria.h b/include/deal.II/grid/tria.h
index a26caed12e54af8c8c77ff3ab2d607cbe3b75c17..1a7b8f6b1e6ca84ff92591909389520b9c6d37ff 100644 (file)
--- a/include/deal.II/grid/tria.h
+++ b/include/deal.II/grid/tria.h
@@ -1131,6 +1131,7 @@ namespace internal
  * @ingroup grid aniso
  */
 template <int dim, int spacedim = dim>
+DEAL_II_CXX20_REQUIRES((concepts::is_valid_dim_spacedim<dim, spacedim>))
 class Triangulation : public Subscriptor
 {
 private:

diff --git a/include/deal.II/grid/tria_accessor.h b/include/deal.II/grid/tria_accessor.h
index eff7f3ff0d5b294dbb2daca87fae710116f192a2..60d3d4206b67edf97b3ad84488505e48a0fd57f2 100644 (file)
--- a/include/deal.II/grid/tria_accessor.h
+++ b/include/deal.II/grid/tria_accessor.h
@@ -39,6 +39,7 @@ DEAL_II_NAMESPACE_OPEN
 // Forward declarations
 #ifndef DOXYGEN
 template <int dim, int spacedim>
+DEAL_II_CXX20_REQUIRES((concepts::is_valid_dim_spacedim<dim, spacedim>))
 class Triangulation;
 template <typename Accessor>
 class TriaRawIterator;
@@ -1870,6 +1871,7 @@ private:
 
 private:
   template <int, int>
+  DEAL_II_CXX20_REQUIRES((concepts::is_valid_dim_spacedim<dim, spacedim>))
   friend class Triangulation;
 
   friend struct dealii::internal::TriangulationImplementation::Implementation;
@@ -4170,6 +4172,7 @@ private:
   set_direction_flag(const bool new_direction_flag) const;
 
   template <int, int>
+  DEAL_II_CXX20_REQUIRES((concepts::is_valid_dim_spacedim<dim, spacedim>))
   friend class Triangulation;
 
   template <int, int>

diff --git a/include/deal.II/grid/tria_iterator.h b/include/deal.II/grid/tria_iterator.h
index 27519e6a7f1f7f143597f363a21822901b81762e..886d583f52912d9d8bb60f3f7e485e8d2e4e0185 100644 (file)
--- a/include/deal.II/grid/tria_iterator.h
+++ b/include/deal.II/grid/tria_iterator.h
@@ -32,6 +32,7 @@ DEAL_II_NAMESPACE_OPEN
 // Forward declarations
 #ifndef DOXYGEN
 template <int dim, int spacedim>
+DEAL_II_CXX20_REQUIRES((concepts::is_valid_dim_spacedim<dim, spacedim>))
 class Triangulation;
 template <int, int, int>
 class TriaAccessorBase;

diff --git a/include/deal.II/grid/tria_objects.h b/include/deal.II/grid/tria_objects.h
index dd49eead8ddcde1982908e3b5e25a8e47731fbf1..f9693faaf3d6d539eb43a52fad90a9448f3520e9 100644 (file)
--- a/include/deal.II/grid/tria_objects.h
+++ b/include/deal.II/grid/tria_objects.h
@@ -29,6 +29,7 @@ DEAL_II_NAMESPACE_OPEN
 // Forward declarations
 #ifndef DOXYGEN
 template <int dim, int spacedim>
+DEAL_II_CXX20_REQUIRES((concepts::is_valid_dim_spacedim<dim, spacedim>))
 class Triangulation;
 template <class Accessor>
 class TriaRawIterator;

diff --git a/include/deal.II/numerics/time_dependent.h b/include/deal.II/numerics/time_dependent.h
index e40dec2890c5edc10bd7b1796df1c10ace5a8c0c..243684da32f53b98b2eca63705ccc9b412ad6047 100644 (file)
--- a/include/deal.II/numerics/time_dependent.h
+++ b/include/deal.II/numerics/time_dependent.h
@@ -34,6 +34,7 @@ class TimeStepBase;
 template <typename number>
 class Vector;
 template <int dim, int spacedim>
+DEAL_II_CXX20_REQUIRES((concepts::is_valid_dim_spacedim<dim, spacedim>))
 class Triangulation;
 #endif
 

diff --git a/include/deal.II/numerics/vector_tools_integrate_difference.h b/include/deal.II/numerics/vector_tools_integrate_difference.h
index 247123c1864422d10e8888a7a12c0009ef7c203a..27a93981642df7d532c99f95eaade81b161baf2c 100644 (file)
--- a/include/deal.II/numerics/vector_tools_integrate_difference.h
+++ b/include/deal.II/numerics/vector_tools_integrate_difference.h
@@ -32,6 +32,7 @@ class Mapping;
 template <int dim>
 class Quadrature;
 template <int dim, int spacedim>
+DEAL_II_CXX20_REQUIRES((concepts::is_valid_dim_spacedim<dim, spacedim>))
 class Triangulation;
 namespace hp
 {