dune-pdelab  2.4.1
Namespaces | Classes | Functions
Dune::PDELab::Concept Namespace Reference

Namespace for concepts. More...

Namespaces

 Imp
 

Classes

struct  Refines
 Base class for refined concepts. More...
 

Functions

template<class C , class Tuple >
constexpr auto tupleEntriesModel () -> decltype(Imp::tupleEntriesModel< C >(std::declval< Tuple >()))
 
template<bool b, typename std::enable_if< b, int >::type = 0>
constexpr bool requireTrue ()
 
template<class C , class... T, typename std::enable_if< models< C, T... >(), int >::type = 0>
constexpr bool requireConcept ()
 
template<class C , class... T, typename std::enable_if< models< C, T... >(), int >::type = 0>
constexpr bool requireConcept (T &&...t)
 
template<class C , class Tuple , typename std::enable_if< tupleEntriesModel< C, Tuple >(), int >::type = 0>
constexpr bool requireConceptForTupleEntries ()
 
template<class From , class To , typename std::enable_if< std::is_convertible< From, To >::value, int >::type = 0>
constexpr bool requireConvertible ()
 
template<class To , class From , typename std::enable_if< std::is_convertible< From, To >::value, int >::type = 0>
constexpr bool requireConvertible (const From &)
 
template<typename T >
constexpr bool requireType ()
 
template<class Base , class Derived , typename std::enable_if< std::is_base_of< Base, Derived >::value, int >::type = 0>
constexpr bool requireBaseOf ()
 
template<class Base , class Derived , typename std::enable_if< std::is_base_of< Base, Derived >::value, int >::type = 0>
constexpr bool requireBaseOf (const Derived &)
 
template<class A , class B , typename std::enable_if< std::is_same< A, B >::value, int >::type = 0>
constexpr bool requireSameType ()
 

Detailed Description

Namespace for concepts.

This namespace contains helper functions for concept definitions and the concept definitions themselves.

Function Documentation

template<class Base , class Derived , typename std::enable_if< std::is_base_of< Base, Derived >::value, int >::type = 0>
constexpr bool Dune::PDELab::Concept::requireBaseOf ( )
template<class Base , class Derived , typename std::enable_if< std::is_base_of< Base, Derived >::value, int >::type = 0>
constexpr bool Dune::PDELab::Concept::requireBaseOf ( const Derived &  )

References value.

template<class C , class... T, typename std::enable_if< models< C, T... >(), int >::type = 0>
constexpr bool Dune::PDELab::Concept::requireConcept ( )
template<class C , class... T, typename std::enable_if< models< C, T... >(), int >::type = 0>
constexpr bool Dune::PDELab::Concept::requireConcept ( T &&...  t)
template<class C , class Tuple , typename std::enable_if< tupleEntriesModel< C, Tuple >(), int >::type = 0>
constexpr bool Dune::PDELab::Concept::requireConceptForTupleEntries ( )

References value.

template<class From , class To , typename std::enable_if< std::is_convertible< From, To >::value, int >::type = 0>
constexpr bool Dune::PDELab::Concept::requireConvertible ( )
template<class To , class From , typename std::enable_if< std::is_convertible< From, To >::value, int >::type = 0>
constexpr bool Dune::PDELab::Concept::requireConvertible ( const From &  )
template<class A , class B , typename std::enable_if< std::is_same< A, B >::value, int >::type = 0>
constexpr bool Dune::PDELab::Concept::requireSameType ( )
template<bool b, typename std::enable_if< b, int >::type = 0>
constexpr bool Dune::PDELab::Concept::requireTrue ( )
template<typename T >
constexpr bool Dune::PDELab::Concept::requireType ( )

References value.

template<class C , class Tuple >
constexpr auto Dune::PDELab::Concept::tupleEntriesModel ( ) -> decltype(Imp::tupleEntriesModel<C>(std::declval<Tuple>()))