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>;
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 || ...);
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>
633#ifdef DEAL_II_WITH_PETSC
651#ifdef DEAL_II_WITH_TRILINOS
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>
677 template <
typename Number,
typename MemorySpace>
680 template <
typename Number,
typename MemorySpace>
695#if defined(DEAL_II_HAVE_CXX20) || defined(DOXYGEN)
706 template <
typename C>
726 template <
int dim,
int spacedim>
728 (dim >= 1 && spacedim <= 3 && dim <= spacedim);
738 template <
typename T>
741 template <
typename Number>
744 template <
typename Number>
748 template <
typename Number>
749 inline constexpr bool
752 template <
typename Number,
typename MemorySpace>
756 template <
typename Number,
typename MemorySpace>
761# ifdef DEAL_II_WITH_PETSC
767 inline constexpr bool
771 inline constexpr bool
775 inline constexpr bool
779# ifdef DEAL_II_WITH_TRILINOS
781 inline constexpr bool
785 inline constexpr bool
789 inline constexpr bool
793# ifdef DEAL_II_TRILINOS_WITH_TPETRA
794 template <
typename Number,
typename MemorySpace>
799 template <
typename Number,
typename MemorySpace>
814 template <
typename T>
817# ifdef DEAL_II_WITH_PETSC
819 inline constexpr bool
823 inline constexpr bool
827 inline constexpr bool
831 inline constexpr bool
835 inline constexpr bool
848 template <
typename T>
851# ifdef DEAL_II_WITH_PETSC
853 inline constexpr bool
875 template <
typename VectorType>
877 internal::is_dealii_vector_type<std::remove_cv_t<VectorType>>;
888 template <
typename VectorType>
900 template <
typename VectorType>
902 internal::is_dealii_petsc_vector_type<VectorType>;
912 template <
typename VectorType>
914 internal::is_dealii_petsc_matrix_type<VectorType>;
919template <
int dim,
int spacedim>
923template <
int dim,
int spacedim>
929 namespace distributed
931 template <
int dim,
int spacedim>
937 template <
int dim,
int spacedim>
941 namespace fullydistributed
943 template <
int dim,
int spacedim>
951#if defined(DEAL_II_HAVE_CXX20) || defined(DOXYGEN)
954 template <
typename T>
957 template <
int dim,
int spacedim>
958 inline constexpr bool
961 template <
int dim,
int spacedim>
965 template <
int dim,
int spacedim>
969 template <
int dim,
int spacedim>
973 template <
int dim,
int spacedim>
974 inline constexpr bool
986 template <
typename MeshType>
988 internal::is_triangulation_or_dof_handler<MeshType>;
996 template <
typename VectorType>
1000 typename VectorType::value_type a,
1001 typename VectorType::value_type b,
1002 typename VectorType::value_type s) {
1004 typename VectorType::value_type;
1005 typename VectorType::size_type;
1006 typename VectorType::real_type;
1036 } -> std::convertible_to<typename VectorType::value_type>;
1040 } -> std::convertible_to<typename VectorType::real_type>;
1044 } -> std::convertible_to<typename VectorType::real_type>;
1048 } -> std::convertible_to<typename VectorType::real_type>;
1053 } -> std::convertible_to<typename VectorType::value_type>;
1056 U.add_and_dot(a, V, W)
1057 } -> std::convertible_to<typename VectorType::value_type>;
1062 } -> std::convertible_to<typename VectorType::size_type>;
1066 } -> std::same_as<bool>;
1069 U.get_mpi_communicator()
1070 } -> std::same_as<MPI_Comm>;
1082 template <
typename MatrixType,
typename VectorType>
1084 requires(
const MatrixType &A, VectorType &dst,
const VectorType &src) {
1097 template <
typename MatrixType,
typename VectorType>
1099 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