35#ifndef _BLAZE_MATH_TYPETRAITS_HASSUB_H_
36#define _BLAZE_MATH_TYPETRAITS_HASSUB_H_
64template<
typename T1,
typename T2,
typename =
void >
77template<
typename T1,
typename T2 >
78struct HasSubHelper< T1, T2,
Void_t< decltype( std::declval<T1>() - std::declval<T2>() ) > >
104template<
typename T1,
typename T2,
typename =
void >
106 :
public HasSubHelper<T1,T2>
116template<
typename T1,
typename T2 >
129template<
typename T1,
typename T2 >
131 :
public HasSub< typename T1::ElementType, typename T2::ElementType >
150template<
typename T1,
typename T2 >
Header file for the EnableIf class template.
Header file for the IntegralConstant class template.
Header file for the IsMatrix 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 IsMatrix_v
Auxiliary variable template for the IsMatrix type trait.
Definition: IsMatrix.h:124
constexpr bool HasSub_v
Auxiliary variable template for the HasSub type trait.
Definition: HasSub.h:151
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 subtraction operator for the given data types.
Definition: HasSub.h:107
Header file for the Void type trait.