dune-common  2.5.0
Classes | Functions
Dune::Concept::Imp Namespace Reference

Classes

struct  TupleEntriesModelHelper
 

Functions

template<class C , class... T>
constexpr bool models ()
 
template<class C , class... T, decltype(std::declval< C >().require(std::declval< T >()...), 0) = 0>
constexpr std::true_type matchesRequirement (PriorityTag< 1 >)
 
template<class C , class... T>
constexpr std::false_type matchesRequirement (PriorityTag< 0 >)
 
template<class... T>
constexpr bool modelsConceptList (TypeList<>)
 
template<class... T, class C0 , class... CC>
constexpr bool modelsConceptList (TypeList< C0, CC... >)
 
template<class C , class... T>
constexpr bool modelsConcept (PriorityTag< 0 >)
 
template<class C , class... T, decltype(typename C::BaseConceptList(), 0) = 0>
constexpr bool modelsConcept (PriorityTag< 1 >)
 

Function Documentation

§ matchesRequirement() [1/2]

template<class C , class... T, decltype(std::declval< C >().require(std::declval< T >()...), 0) = 0>
constexpr std::true_type Dune::Concept::Imp::matchesRequirement ( PriorityTag< 1 >  )

§ matchesRequirement() [2/2]

template<class C , class... T>
constexpr std::false_type Dune::Concept::Imp::matchesRequirement ( PriorityTag< 0 >  )

§ models()

template<class C , class... T>
constexpr bool Dune::Concept::Imp::models ( )

§ modelsConcept() [1/2]

template<class C , class... T>
constexpr bool Dune::Concept::Imp::modelsConcept ( PriorityTag< 0 >  )

§ modelsConcept() [2/2]

template<class C , class... T, decltype(typename C::BaseConceptList(), 0) = 0>
constexpr bool Dune::Concept::Imp::modelsConcept ( PriorityTag< 1 >  )

§ modelsConceptList() [1/2]

template<class... T>
constexpr bool Dune::Concept::Imp::modelsConceptList ( TypeList<>  )

§ modelsConceptList() [2/2]

template<class... T, class C0 , class... CC>
constexpr bool Dune::Concept::Imp::modelsConceptList ( TypeList< C0, CC... >  )