hyperbolic_description.h

Go to the documentation of this file.

//
// SPDX-License-Identifier: Apache-2.0 WITH LLVM-exception
// Copyright (C) 2026 by the ryujin authors
//
 
#pragma once
 
#include <ryujin/base/compile_time_options.h>
#include <ryujin/concept/hyperbolic_system.h>
#include <ryujin/concept/indicator.h>
#include <ryujin/concept/limiter.h>
#include <ryujin/concept/wave_speed_estimator.h>
#include <ryujin/interface/hyperbolic_module.h>
 
#include <deal.II/base/vectorization.h>
 
#include <concepts>
 
namespace ryujin
{
  namespace Concept
  {
    template <typename HD>
    using system_type = typename HD::HyperbolicSystem;
 
    template <typename HD, typename Number>
    using indicator_type = typename HD::template Indicator<scalar_type<Number>>;
 
    template <typename HD, typename Number>
    using limiter_type = typename HD::template Limiter<scalar_type<Number>>;
 
    template <typename HD, typename Number>
    using estimator_type =
        typename HD::template WaveSpeedEstimator<scalar_type<Number>>;
 
    template <typename Number>
    using vectorized_type = dealii::VectorizedArray<Number>;
 
    template <typename HD, int dim, typename Number>
    using hyperbolic_module_type =
        typename HD::template HyperbolicModule<dim, Number>;
 
 
    template <typename HD, typename System, int dim, typename Number>
    concept HyperbolicKernels =
        HyperbolicSystem<System, dim, Number> &&
        Indicator<indicator_type<HD, Number>, System, dim, Number> &&
        Limiter<limiter_type<HD, Number>, System, dim, Number> &&
        WaveSpeedEstimator<estimator_type<HD, Number>, System, dim, Number>;
 
 
    template <typename HD, int dim, typename Number>
    concept HyperbolicDescription =
        HyperbolicKernels<HD, system_type<HD>, dim, Number> &&
        HyperbolicKernels<HD, system_type<HD>, dim, vectorized_type<Number>> &&
        std::derived_from<hyperbolic_module_type<HD, dim, Number>,
                          Interface::HyperbolicModule<dim, Number>>;
  } // namespace Concept
} // namespace ryujin