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... >

)