15#ifndef dealii_template_constraints_h
16#define dealii_template_constraints_h
41 namespace SupportsOperation
52 template <
class Default,
75 template <
class Default,
template <
class...>
class Op,
class... Args>
102 template <
class Default,
template <
class...>
class Op,
class... Args>
105 template <
template <
class...>
class Op,
class... Args>
108 template <
template <
class...>
class Op,
class... Args>
111 template <
class Default,
template <
class...>
class Op,
class... Args>
114 template <
class Expected,
template <
class...>
class Op,
class... Args>
117 template <
class To,
template <
class...>
class Op,
class... Args>
119 std::is_convertible<
detected_t<Op, Args...>, To>;
41 namespace SupportsOperation {
…}
157 template <
template <
class...>
class Op,
class... Args>
166 namespace TemplateConstraints
176 template <
bool... Values>
179 static constexpr bool value = (Values && ...);
187 template <
bool... Values>
190 static constexpr bool value = (Values || ...);
166 namespace TemplateConstraints {
…}
201template <
class Base,
class... Derived>
205 std::is_base_of_v<Base, Derived>...>
::value;
216template <
typename Type,
class... Types>
220 std::is_same_v<Type, Types>...>
::value;
231template <
typename Type,
class... Types>
235 std::is_same_v<Type, Types>...>
::value;
265template <
bool... Values>
267 : std::enable_if<internal::TemplateConstraints::all_true<Values...>::value>
297template <
bool... Values>
308 decltype(std::begin(std::declval<T>()), std::end(std::declval<T>()));
312 internal::is_supported_operation<begin_and_end_t, T>;
331template <
typename ArgType,
typename ValueType>
366 template <
typename T>
380 template <
typename T,
typename U>
402 template <
typename T,
typename U>
405 using type =
decltype(std::declval<T>() * std::declval<U>());
458template <
typename T,
typename U>
472 template <
typename T>
478 template <
typename T,
typename U>
481 using type = std::complex<typename ProductType<T, U>::type>;
484 template <
typename U>
487 using type = std::complex<typename ProductType<double, U>::type>;
490 template <
typename T>
493 using type = std::complex<typename ProductType<T, double>::type>;
496 template <
typename U>
499 using type = std::complex<typename ProductType<float, U>::type>;
502 template <
typename T>
505 using type = std::complex<typename ProductType<T, float>::type>;
609template <
typename Number>
612template <
typename Number>
617 template <
typename Number>
620 template <
typename Number>
623 namespace distributed
625 template <
typename Number,
typename MemorySpace>
628 template <
typename Number,
typename MemorySpace>
623 namespace distributed {
…}
633#ifdef DEAL_II_WITH_PETSC
651#ifdef DEAL_II_WITH_TRILINOS
663 namespace EpetraWrappers
663 namespace EpetraWrappers {
…}
668# ifdef DEAL_II_TRILINOS_WITH_TPETRA
669 namespace TpetraWrappers
671 template <
typename Number,
typename MemorySpace>
674 template <
typename Number,
typename MemorySpace>
669 namespace TpetraWrappers {
…}
689#if defined(DEAL_II_HAVE_CXX20) || defined(DOXYGEN)
700 template <
typename C>
720 template <
int dim,
int spacedim>
722 (dim >= 1 && spacedim <= 3 && dim <= spacedim);
732 template <
typename T>
735 template <
typename Number>
738 template <
typename Number>
742 template <
typename Number>
743 inline constexpr bool
746 template <
typename Number,
typename MemorySpace>
750 template <
typename Number,
typename MemorySpace>
755# ifdef DEAL_II_WITH_PETSC
761 inline constexpr bool
765 inline constexpr bool
769 inline constexpr bool
773# ifdef DEAL_II_WITH_TRILINOS
775 inline constexpr bool
779 inline constexpr bool
783 inline constexpr bool
787# ifdef DEAL_II_TRILINOS_WITH_TPETRA
788 template <
typename Number,
typename MemorySpace>
803 template <
typename T>
806# ifdef DEAL_II_WITH_PETSC
808 inline constexpr bool
812 inline constexpr bool
816 inline constexpr bool
820 inline constexpr bool
824 inline constexpr bool
837 template <
typename T>
840# ifdef DEAL_II_WITH_PETSC
842 inline constexpr bool
864 template <
typename VectorType>
866 internal::is_dealii_vector_type<std::remove_cv_t<VectorType>>;
877 template <
typename VectorType>
889 template <
typename VectorType>
891 internal::is_dealii_petsc_vector_type<VectorType>;
901 template <
typename VectorType>
903 internal::is_dealii_petsc_matrix_type<VectorType>;
908template <
int dim,
int spacedim>
912template <
int dim,
int spacedim>
918 namespace distributed
920 template <
int dim,
int spacedim>
926 template <
int dim,
int spacedim>
930 namespace fullydistributed
932 template <
int dim,
int spacedim>
930 namespace fullydistributed {
…}
940#if defined(DEAL_II_HAVE_CXX20) || defined(DOXYGEN)
943 template <
typename T>
946 template <
int dim,
int spacedim>
947 inline constexpr bool
950 template <
int dim,
int spacedim>
954 template <
int dim,
int spacedim>
958 template <
int dim,
int spacedim>
962 template <
int dim,
int spacedim>
963 inline constexpr bool
975 template <
typename MeshType>
977 internal::is_triangulation_or_dof_handler<MeshType>;
985 template <
typename VectorType>
989 typename VectorType::value_type a,
990 typename VectorType::value_type b,
991 typename VectorType::value_type s) {
993 typename VectorType::value_type;
994 typename VectorType::size_type;
995 typename VectorType::real_type;
1025 } -> std::convertible_to<typename VectorType::value_type>;
1029 } -> std::convertible_to<typename VectorType::real_type>;
1033 } -> std::convertible_to<typename VectorType::real_type>;
1037 } -> std::convertible_to<typename VectorType::real_type>;
1042 } -> std::convertible_to<typename VectorType::value_type>;
1045 U.add_and_dot(a, V, W)
1046 } -> std::convertible_to<typename VectorType::value_type>;
1051 } -> std::convertible_to<typename VectorType::size_type>;
1055 } -> std::same_as<bool>;
1058 U.get_mpi_communicator()
1059 } -> std::same_as<MPI_Comm>;
1071 template <
typename MatrixType,
typename VectorType>
1073 requires(
const MatrixType &A, VectorType &dst,
const VectorType &src) {
1086 template <
typename MatrixType,
typename VectorType>
1088 requires(
const MatrixType &A, VectorType &dst,
const VectorType &src) {
#define DEAL_II_DEPRECATED
#define DEAL_II_NAMESPACE_OPEN
#define DEAL_II_CXX20_REQUIRES(condition)
#define DEAL_II_NAMESPACE_CLOSE
typename detected_or< Default, Op, Args... >::type detected_or_t
std::is_convertible< detected_t< Op, Args... >, To > is_detected_convertible
typename detected_or< nonesuch, Op, Args... >::value_t is_detected
typename detected_or< nonesuch, Op, Args... >::type detected_t
std::is_same< Expected, detected_t< Op, Args... > > is_detected_exact
constexpr bool is_supported_operation
static bool equal(const T *p1, const T *p2)
static bool equal(const T *, const U *)
typename internal::ProductTypeImpl< std::decay_t< T >, std::decay_t< U > >::type type
static constexpr bool value
ValueType operator()(const ArgType &)
std::complex< typename ProductType< double, U >::type > type
std::complex< typename ProductType< float, U >::type > type
std::complex< typename ProductType< T, double >::type > type
std::complex< typename ProductType< T, float >::type > type
std::complex< typename ProductType< T, U >::type > type
decltype(std::declval< T >() *std::declval< U >()) type
void operator=(const nonesuch &)=delete
nonesuch(const nonesuch &)=delete
static constexpr bool value
static constexpr bool value
static constexpr bool value
static constexpr bool value
typename enable_if_all< Values... >::type enable_if_all_t
decltype(std::begin(std::declval< T >()), std::end(std::declval< T >())) begin_and_end_t
constexpr bool has_begin_and_end