The Dumux property system, traits with inheritance.
More...
#include <tuple>
#include <type_traits>
#include <dune/common/std/type_traits.hh>
Go to the source code of this file.
|
| template<class TypeTag, template< class, class > class Property> |
| using | Dumux::GetProp = typename Properties::Detail::GetPropImpl<TypeTag, Property>::type |
| | get the type of a property
|
| |
| template<class TypeTag, template< class, class > class Property, class T> |
| using | Dumux::GetPropOr = typename Properties::Detail::GetPropOrImpl<TypeTag, Property, T>::type |
| | get the type of a property or the type T if the property is undefined
|
| |
| template<class TypeTag, template< class, class > class Property> |
| using | Dumux::GetPropType = typename GetProp<TypeTag, Property>::type |
| | get the type alias defined in the property
|
| |
| template<class TypeTag, template< class, class > class Property, class T> |
| using | Dumux::GetPropTypeOr = typename GetPropOr<TypeTag, Property, T>::type |
| | get the type alias defined in the property or the type T if the property is undefined
|
| |
|
| template<class TypeTag, template< class, class > class Property> |
| constexpr bool | Dumux::Properties::hasDefinedType () |
| | whether the property is defined/specialized for TypeTag
|
| |
| template<class ParentTypeTag, class TypeTag> |
| constexpr bool | Dumux::Properties::inheritsFrom () |
| | Return true if the given type tag inherits from the given parent type tag.
|
| |
| template<class TypeTag, template< class, class > class Property> |
| constexpr auto | Dumux::getPropValue () |
| | get the value data member of a property
|
| |