DOLFINx 0.10.0.0
DOLFINx C++ interface
Loading...
Searching...
No Matches
traits.h
1// Copyright (C) 2024 Joseph P. Dean and Garth N. Wells
2// This file is part of DOLFINx (https://www.fenicsproject.org)
3//
4// SPDX-License-Identifier: LGPL-3.0-or-later
5
6#pragma once
7
8#include <basix/mdspan.hpp>
9#include <concepts>
10#include <cstdint>
11#include <dolfinx/common/types.h>
12#include <span>
13#include <type_traits>
14
15namespace dolfinx::fem
16{
17
19template <class U, class T>
21 = std::is_invocable_v<U, std::span<T>, std::span<const std::uint32_t>,
22 std::int32_t, int>;
23
28template <class U, class T>
29concept FEkernel
30 = std::is_invocable_v<U, T*, const T*, const T*, const scalar_value_t<T>*,
31 const int*, const std::uint8_t*, void*>;
32
34template <class T>
35concept MDSpan2
36 = std::is_convertible_v<
37 std::remove_cvref_t<T>,
38 md::mdspan<const std::int32_t, md::dextents<std::size_t, 2>>>
39 or std::is_convertible_v<
40 std::remove_cvref_t<T>,
41 md::mdspan<const std::int32_t, md::dextents<std::size_t, 1>>>;
42
43} // namespace dolfinx::fem
DOF transform kernel concept.
Definition traits.h:21
Finite element cell kernel concept.
Definition traits.h:30
Concept for mdspan of rank 1 or 2.
Definition traits.h:36
Finite element method functionality.
Definition assemble_expression_impl.h:23