Blaze 3.9
HasDiv.h
Go to the documentation of this file.
1//=================================================================================================
33//=================================================================================================
34
35#ifndef _BLAZE_MATH_TYPETRAITS_HASDIV_H_
36#define _BLAZE_MATH_TYPETRAITS_HASDIV_H_
37
38
39//*************************************************************************************************
40// Includes
41//*************************************************************************************************
42
43#include <utility>
46#include <blaze/util/EnableIf.h>
49
50
51namespace blaze {
52
53//=================================================================================================
54//
55// CLASS DEFINITION
56//
57//=================================================================================================
58
59//*************************************************************************************************
64template< typename T1, typename T2, typename = void >
65struct HasDivHelper
66 : public FalseType
67{};
69//*************************************************************************************************
70
71
72//*************************************************************************************************
77template< typename T1, typename T2 >
78struct HasDivHelper< T1, T2, Void_t< decltype( std::declval<T1>() / std::declval<T2>() ) > >
79 : public TrueType
80{};
82//*************************************************************************************************
83
84
85//*************************************************************************************************
104template< typename T1, typename T2, typename = void >
105struct HasDiv
106 : public HasDivHelper<T1,T2>
107{};
108//*************************************************************************************************
109
110
111//*************************************************************************************************
116template< typename T1, typename T2 >
117struct HasDiv< T1, T2, EnableIf_t< IsVector_v<T1> && IsDenseVector_v<T2> > >
119{};
121//*************************************************************************************************
122
123
124//*************************************************************************************************
137template< typename T1, typename T2 >
139//*************************************************************************************************
140
141} // namespace blaze
142
143#endif
Header file for the EnableIf class template.
Header file for the IntegralConstant class template.
Header file for the IsDenseVector type trait.
Header file for the IsVector type trait.
constexpr bool IsVector_v
Auxiliary variable template for the IsVector type trait.
Definition: IsVector.h:125
constexpr bool HasDiv_v
Auxiliary variable template for the HasDiv type trait.
Definition: HasDiv.h:138
void Void_t
Compile time type check.
Definition: Void.h:64
BoolConstant< true > TrueType
Type traits base class.
Definition: IntegralConstant.h:132
BoolConstant< false > FalseType
Type/value traits base class.
Definition: IntegralConstant.h:121
typename EnableIf< Condition, T >::Type EnableIf_t
Auxiliary type for the EnableIf class template.
Definition: EnableIf.h:138
Availability of a division operator for the given data types.
Definition: HasDiv.h:107
Header file for the Void type trait.