discretization.h

Go to the documentation of this file.

//
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
// Copyright (C) 2020 - 2024 by the ryujin authors
//
 
#pragma once
 
#include <compile_time_options.h>
 
#include "convenience_macros.h"
#include "geometry.h"
#include "patterns_conversion.h"
 
#include <deal.II/base/parameter_acceptor.h>
#include <deal.II/base/quadrature.h>
#include <deal.II/distributed/shared_tria.h>
#include <deal.II/distributed/tria.h>
#include <deal.II/fe/fe.h>
#include <deal.II/fe/mapping.h>
 
#include <memory>
#include <set>
 
namespace ryujin
{
  enum Boundary : dealii::types::boundary_id {
    do_nothing = 0,
 
    periodic = 1,
 
    slip = 2,
 
    no_slip = 3,
 
    dirichlet = 4,
 
    dynamic = 5,
 
    dirichlet_momentum = 6
  };
 
 
  enum class Ansatz {
    cg_q1,
 
    cg_q2,
 
    cg_q3,
 
    dg_q0,
 
    dg_q1,
 
    dg_q2,
 
    dg_q3
  };
} // namespace ryujin
 
#ifndef DOXYGEN
DECLARE_ENUM(ryujin::Boundary,
             LIST({ryujin::Boundary::do_nothing, "do nothing"},
                  {ryujin::Boundary::periodic, "periodic"},
                  {ryujin::Boundary::slip, "slip"},
                  {ryujin::Boundary::no_slip, "no slip"},
                  {ryujin::Boundary::dirichlet, "dirichlet"},
                  {ryujin::Boundary::dynamic, "dynamic"},
                  {ryujin::Boundary::dirichlet_momentum,
                   "dirichlet momentum"}));
 
DECLARE_ENUM(ryujin::Ansatz,
             LIST({ryujin::Ansatz::cg_q1, "cG Q1"},
                  {ryujin::Ansatz::cg_q2, "cG Q2"},
                  {ryujin::Ansatz::cg_q3, "cG Q3"},
                  {ryujin::Ansatz::dg_q0, "dG Q0"},
                  {ryujin::Ansatz::dg_q1, "dG Q1"},
                  {ryujin::Ansatz::dg_q2, "dG Q2"},
                  {ryujin::Ansatz::dg_q3, "dG Q3"}));
#endif
 
namespace ryujin
{
  namespace
  {
    template <int dim>
    struct Proxy {
      using Triangulation = dealii::parallel::distributed::Triangulation<dim>;
    };
 
    template <>
    struct Proxy<1> {
      using Triangulation = dealii::parallel::shared::Triangulation<1>;
    };
 
  } // namespace
 
#ifndef DOXYGEN
  /* forward declaration */
  template <int dim>
  class Discretization;
#endif
 
  template <int dim>
  constexpr bool have_distributed_triangulation =
      std::is_same<typename Discretization<dim>::Triangulation,
                   dealii::parallel::distributed::Triangulation<dim>>::value;
 
 
  template <int dim>
  class Discretization : public dealii::ParameterAcceptor
  {
  public:
    using Triangulation = typename Proxy<dim>::Triangulation;
 
    static_assert(dim == 1 || have_distributed_triangulation<dim>);
 
    Discretization(const MPI_Comm &mpi_communicator,
                   const std::string &subsection = "/Discretization");
 
    void prepare(const std::string &base_name);
 
 
    ACCESSOR_READ_ONLY(ansatz)
 
    
    bool have_discontinuous_ansatz() const
    {
      switch (ansatz_) {
        /* Continous Ansatz: */
      case Ansatz::cg_q1:
        [[fallthrough]];
      case Ansatz::cg_q2:
        [[fallthrough]];
      case Ansatz::cg_q3:
        return false;
 
        /* Discontinuous Ansatz: */
      case Ansatz::dg_q0:
        [[fallthrough]];
      case Ansatz::dg_q1:
        [[fallthrough]];
      case Ansatz::dg_q2:
        [[fallthrough]];
      case Ansatz::dg_q3:
        return true;
      }
      __builtin_unreachable();
      return false;
    }
 
    ACCESSOR(refinement)
 
    
    ACCESSOR(triangulation)
 
    
    ACCESSOR_READ_ONLY(triangulation)
 
    ACCESSOR_READ_ONLY(mapping)
 
    ACCESSOR_READ_ONLY(finite_element)
 
    ACCESSOR_READ_ONLY(quadrature)
 
    ACCESSOR_READ_ONLY(quadrature_1d)
 
    ACCESSOR_READ_ONLY(face_quadrature)
 
    ACCESSOR_READ_ONLY(face_nodal_quadrature)
 
  protected:
    const MPI_Comm &mpi_communicator_;
 
    std::unique_ptr<Triangulation> triangulation_;
    std::unique_ptr<const dealii::Mapping<dim>> mapping_;
    std::unique_ptr<const dealii::FiniteElement<dim>> finite_element_;
    std::unique_ptr<const dealii::Quadrature<dim>> quadrature_;
    std::unique_ptr<const dealii::Quadrature<1>> quadrature_1d_;
    std::unique_ptr<const dealii::Quadrature<dim - 1>> face_quadrature_;
    std::unique_ptr<const dealii::Quadrature<dim - 1>> face_nodal_quadrature_;
 
  private:
 
 
    Ansatz ansatz_;
 
    std::string geometry_;
 
    unsigned int refinement_;
 
    bool mesh_writeout_;
    double mesh_distortion_;
 
 
 
    std::set<std::unique_ptr<Geometry<dim>>> geometry_list_;
 
  };
} /* namespace ryujin */