5#ifndef DUNE_COMMON_CONCEPT_HH
6#define DUNE_COMMON_CONCEPT_HH
52template<
class... BaseConcepts>
69 template<
class C,
class... T>
86 template<
class C,
class... T,
87 decltype(std::declval<C>().require(std::declval<T>()...), 0) =0>
94 template<
class C,
class... T>
102 constexpr bool modelsConceptList(TypeList<>)
108 template<
class...T,
class C0,
class... CC>
109 constexpr bool modelsConceptList(TypeList<C0, CC...>)
110 {
return models<C0, T...>() and modelsConceptList<T...>(TypeList<CC...>()); }
116 template<
class C,
class... T>
117 constexpr bool modelsConcept(PriorityTag<0>)
118 {
return matchesRequirement<C, T...>(PriorityTag<42>()); }
126 template<
class C,
class... T,
127 decltype(
typename C::BaseConceptList(), 0) = 0>
128 constexpr bool modelsConcept(PriorityTag<1>)
129 {
return matchesRequirement<C, T...>(PriorityTag<42>()) and modelsConceptList<T...>(
typename C::BaseConceptList()); }
140 template<
class C,
class... T>
143 return modelsConcept<C, T...>(PriorityTag<42>());
183template<
class C,
class... T>
186 return Std::bool_constant<Concept::Impl::models<C, T...>()>();
198template<
class C,
class Tuple>
202 return std::conjunction<
decltype(
Dune::models<C, std::tuple_element_t<
decltype(i)::value, Tuple>>())...>();
203 }, std::make_index_sequence<std::tuple_size_v<Tuple>>());
214template<bool b, typename std::enable_if<b, int>::type = 0>
221template<
class C,
class... T,
typename std::enable_if<
models<C, T...>(),
int>::type = 0>
229template<
class C,
class... T,
typename std::enable_if<
models<C, T...>(),
int>::type = 0>
237template<class C, class Tuple, typename std::enable_if<tupleEntriesModel<C, Tuple>(),
int>::type = 0>
245template<
class From,
class To,
246 typename std::enable_if< std::is_convertible<From, To>::value,
int>::type = 0>
254template<
class To,
class From,
255 typename std::enable_if< std::is_convertible<From, To>::value,
int>::type = 0>
273template<
class Base,
class Derived,
274 typename std::enable_if< std::is_base_of<Base, Derived>::value,
int>::type = 0>
282template<
class Base,
class Derived,
283 typename std::enable_if< std::is_base_of<Base, Derived>::value,
int>::type = 0>
291template<
class A,
class B,
292 typename std::enable_if< std::is_same<A, B>::value,
int>::type = 0>
Utilities for type computations, constraining overloads, ...
decltype(auto) constexpr unpackIntegerSequence(F &&f, std::integer_sequence< I, i... > sequence)
Unpack an std::integer_sequence<I,i...> to std::integral_constant<I,i>...
Definition indices.hh:124
std::tuple< MetaType< T >... > TypeList
A simple type list.
Definition typelist.hh:87
constexpr auto models()
Check if concept is modeled by given types.
Definition concept.hh:184
Dune namespace.
Definition alignedallocator.hh:13
constexpr bool requireConcept()
Definition concept.hh:222
constexpr bool requireTrue()
Definition concept.hh:215
constexpr bool requireSameType()
Definition concept.hh:293
constexpr bool requireConceptForTupleEntries()
Definition concept.hh:238
constexpr bool requireBaseOf()
Definition concept.hh:275
constexpr bool requireConvertible()
Definition concept.hh:247
constexpr auto tupleEntriesModel()
Definition concept.hh:199
constexpr bool requireType()
Definition concept.hh:266
Base class for refined concepts.
Definition concept.hh:54
TypeList< BaseConcepts... > BaseConceptList
Definition concept.hh:55
Helper class for tagging priorities.
Definition typeutilities.hh:73