Dune::Concept Namespace Reference

Namespace for concepts. More...

Namespaces

namespace  Imp

Classes

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

Functions

template<class C , class Tuple >
constexpr auto tupleEntriesModel ()-> typename Imp
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::Concept::requireBaseOf ( const Derived &   )  [inline]
template<class Base , class Derived , typename std::enable_if< std::is_base_of< Base, Derived >::value, int >::type = 0>
constexpr bool Dune::Concept::requireBaseOf (  )  [inline]
template<class C , class... T, typename std::enable_if< models< C, T...>(), int >::type = 0>
constexpr bool Dune::Concept::requireConcept ( T &&...  t  )  [inline]
template<class C , class... T, typename std::enable_if< models< C, T...>(), int >::type = 0>
constexpr bool Dune::Concept::requireConcept (  )  [inline]
template<class C , class Tuple , typename std::enable_if< tupleEntriesModel< C, Tuple >(), int >::type = 0>
constexpr bool Dune::Concept::requireConceptForTupleEntries (  )  [inline]
template<class To , class From , typename std::enable_if< std::is_convertible< From, To >::value, int >::type = 0>
constexpr bool Dune::Concept::requireConvertible ( const From &   )  [inline]
template<class From , class To , typename std::enable_if< std::is_convertible< From, To >::value, int >::type = 0>
constexpr bool Dune::Concept::requireConvertible (  )  [inline]
template<class A , class B , typename std::enable_if< std::is_same< A, B >::value, int >::type = 0>
constexpr bool Dune::Concept::requireSameType (  )  [inline]
template<bool b, typename std::enable_if< b, int >::type = 0>
constexpr bool Dune::Concept::requireTrue (  )  [inline]
template<typename T >
constexpr bool Dune::Concept::requireType (  )  [inline]
template<class C , class Tuple >
constexpr auto Dune::Concept::tupleEntriesModel (  )  [inline]
 All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Defines

Generated on 25 Mar 2018 for dune-common by  doxygen 1.6.1